On enumerating models for the logic of paradox using tableau
From MaRDI portal
Publication:6109618
DOI10.1007/978-3-030-00461-3_16zbMATH Open1517.68364MaRDI QIDQ6109618
Pilar Pozos-Parra, J-M. Thévenin, Laurent Perrussel
Publication date: 28 July 2023
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Many-valued logic (03B50) Paraconsistent logics (03B53)
Related Items (1)
This page was built for publication: On enumerating models for the logic of paradox using tableau
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6109618)
