On three-valued presentations of classical logic

DOI10.1017/S1755020323000114MaRDI QIDQ6465064zbMATH OpenFDO

Authors Bruno Da Ré, Damian Szmuc, Emmanuel Chemla, Paul Égré

Publication date 26 December 2023

Mathematics Subject Classification ID

Classical propositional logic (03B05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Many-valued logic (03B50)

This page was built for publication: On three-valued presentations of classical logic

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