Non-distributive relatives of ETL and NFL

DOI10.1007/s11225-020-09904-3OpenAlexW3011835461MaRDI QIDQ2021563

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

exactly true logicnon-distributive latticesanalytic tableauxETL-like logicNFL-like logicnon-falsity logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Uses Software

• MUltlog

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A Gentzen calculus for nothing but the truth
• Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
• The logic of paradox
• Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence
• Four-valued logic
• 40 years of FDE: an introductory overview
• Disentangling \textsf{FDE}-based paraconsistent modal logics
• First-degree entailment and its relatives
• Intuitive semantics for first-degree entailments and `coupled trees'
• Characterizing finite-valuedness
• Partiality and its dual
• Many-valued logic and mixed integer programming
• Nothing but the truth
• The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
• MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH
• Classic-Like Analytic Tableaux for Finite-Valued Logics
• The Taming of the Cut. Classical Refutations with Analytic Cut
• Belnap's Four-Valued Logic and De Morgan Lattices
• 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
• Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices