Non-distributive relatives of ETL and NFL

DOI10.1007/S11225-020-09904-3MaRDI QIDQ2021563zbMATH OpenOpenAlexFDO

Authors Daniil Kozhemiachenko

Publication date 27 April 2021

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-020-09904-3

zbMATH Keywords

analytic tableauxETL-like logicexactly true logicNFL-like logicnon-distributive latticesnon-falsity logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• A Gentzen calculus for nothing but the truth
• Exactly true and non-falsity logics meeting infectious ones
• The geometry of non-distributive logics
• Order-dual relational semantics for non-distributive propositional logics: a general framework
• Four-valued logics of truth, nonfalsity, exact truth, and material equivalence

Cites work

• 40 years of FDE: an introductory overview
• A Gentzen calculus for nothing but the truth
• An introduction to non-classical logic. From if to is
• Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence
• Automated deduction for many-valued logics
• Belnap's Four-Valued Logic and De Morgan Lattices
• Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
• Characterizing finite-valuedness
• Classic-Like Analytic Tableaux for Finite-Valued Logics
• Disentangling \textsf{FDE}-based paraconsistent modal logics
• First-degree entailment and its relatives
• Four-valued logic
• Handbook of quantum logic and quantum structures. Quantum logic. With a foreword by Anatolij Dvurečenskij
• scientific article; zbMATH DE number 3659568 (Why is no real title available?)
• scientific article; zbMATH DE number 1349997 (Why is no real title available?)
• scientific article; zbMATH DE number 945663 (Why is no real title available?)
• Intuitive semantics for first-degree entailments and `coupled trees'
• Many-valued logic and mixed integer programming
• Many-valued modal logics: a simple approach
• Modal and temporal extensions of non-distributive propositional logics
• Modal operators for meet-complemented lattices
• MUltlog 1.0: towards an expert system for many-valued logics
• Nothing but the truth
• Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices
• Partiality and its dual
• Tableaux for many-valued logics
• The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
• The logic of paradox
• The Taming of the Cut. Classical Refutations with Analytic Cut

Describes a project that uses

Uses Software

• MUltlog

This page was built for publication: Non-distributive relatives of ETL and NFL

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