On three-valued presentations of classical logic

DOI10.1017/S1755020323000114arXiv2312.16035MaRDI QIDQ6465064

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

Publication date: 26 December 2023

Mathematics Subject Classification ID

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

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