Journal of applied non-classical logics, n° 9 Multi-valued logics

Availability:
Ebook in PDF format. Available for immediate download after we receive your order

DRM:
ACS4

Publication Year:
2021

ISBN-13: 9782746233195

Numéro consacré aux logiques multivaluées. Sont traitées notamment la théorie de la preuve, la théorie de modèles, ainsi que les relations avec d'autres logiques non classiques et ses applications à l'informatique.