The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins

DOI10.1007/s10992-018-9494-xzbMath1457.03051OpenAlexW2900423926WikidataQ128953975 ScholiaQ128953975MaRDI QIDQ2281312

Dmitry Zaitsev, Alexander Belikov, Yaroslav Shramko

Publication date: 19 December 2019

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-018-9494-x

zbMATH Keywords

exactly true logicfirst-degree entailmentnon-falsity logic\textsc{Fmla-Fmla} logical frameworkbi-consequence system

Mathematics Subject Classification ID

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

Related Items (10)

О выразительных возможностях максимально паранепротиворечивых и параполных четырехзначных расширений FDE ⋮ О выразительных возможностях отдельных расширений четырехзначной логики Белнапа ⋮ Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning ⋮ Correspondence analysis and automated proof-searching for first degree entailment ⋮ The value of the one value: \textit{exactly true logic} revisited ⋮ Four-valued logics of truth, nonfalsity, exact truth, and material equivalence ⋮ Non-distributive relatives of ETL and NFL ⋮ Hilbert-style axiomatization of first-degree entailment and a family of its extensions ⋮ Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi ⋮ Exactly true and non-falsity logics meeting infectious ones

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A Gentzen calculus for nothing but the truth
• Some useful 16-valued logics: How a computer network should think
• Logic and reasoning: do the facts matter?
• A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\)
• Bilattices and the theory of truth
• 40 years of FDE: an introductory overview
• An algebraic view of super-Belnap logics
• First-degree entailment and its relatives
• Intuitive semantics for first-degree entailments and `coupled trees'
• Partiality and its dual
• A duality between Pawlak's knowledge representation systems and bi-consequence systems
• Positive modal logic
• Nothing but the truth
• The logic of generalized truth values and the logic of bilattices
• Begründung einer strengen Implikation
• Truth, Falsehood, Information and Beyond: The American Plan Generalized
• First-Degree Entailment and Structural Reasoning
• Belnap's Four-Valued Logic and De Morgan Lattices
• The Trilattice of Constructive Truth Values
• An infinity of super-Belnap logics
• Order-dual relational semantics for non-distributive propositional logics
• Incomplete information: Structure, inference, complexity

This page was built for publication: The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins