On three-valued presentations of classical logic
From MaRDI portal
Publication:6465064
DOI10.1017/S1755020323000114arXiv2312.16035MaRDI QIDQ6465064FDOQ6465064
Authors: Bruno Da Ré, Damian Szmuc, Emmanuel Chemla, Paul Égré 
Publication date: 26 December 2023
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)
