On all pure three-valued logics

DOI10.1093/LOGCOM/EXAC087MaRDI QIDQ6189225zbMATH OpenOpenAlexFDO

Authors Federico Matias Pailos

Publication date 8 February 2024

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exac087

zbMATH Keywords

dualitylogical consequencemixed consequencestrong Kleene logicssubstructural logics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• Disjoint logics
• Three-valued Kleene logics and three-element chains
• A map of dependencies among three-valued logics
• Relationships between Connectives in Three-Valued Logics
• Natural 3-valued logics—characterization and proof theory

Cited in

(3)

• Inferential-connexive mixed logics
• Naïve non-substructural solutions to the validity paradox
• Suprastructural logics

This page was built for publication: On all pure three-valued logics

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