AN EIGHT-VALUED PRACONSISTENT LOGIC

DOI10.4467/20842589RM.14.001.2271MaRDI QIDQ6180688zbMATH OpenOpenAlexFDO

Authors Zafer Ozdemir

Publication date 19 January 2024

Full work available at URL https://dblp.uni-trier.de/db/journals/rml/rml49.html#Kamide14

zbMATH Keywords

contact logics interpreted over intervalsdecision procedurestableaux approach

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in computer science (03B70) Logical aspects of Boolean algebras (03G05) Logic in artificial intelligence (68T27)

This page was built for publication: AN EIGHT-VALUED PRACONSISTENT LOGIC

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6180688)