40 years of FDE: an introductory overview

DOI10.1007/s11225-017-9748-6zbMath1417.03027OpenAlexW2763778849MaRDI QIDQ1685563

Hitoshi Omori, Heinrich Wansing

Publication date: 14 December 2017

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-017-9748-6

zbMATH Keywords

modal logicparaconsistent logicparacomplete logicexpansions of FDEfirst-degree entailment logic

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) History of mathematical logic and foundations (03-03) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)

Related Items (44)

Routley star and hyperintensionality ⋮ Constraint tableaux for two-dimensional fuzzy logics ⋮ Questions to Michael Dunn ⋮ A Tale of Excluding the Middle ⋮ О выразительных возможностях максимально паранепротиворечивых и параполных четырехзначных расширений FDE ⋮ О выразительных возможностях отдельных расширений четырехзначной логики Белнапа ⋮ Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B ⋮ Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning ⋮ Paraconsistent metatheory: new proofs with old tools ⋮ Correspondence analysis and automated proof-searching for first degree entailment ⋮ Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic ⋮ A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable ⋮ Qualitative reasoning in a two-layered framework ⋮ Two-layered logics for paraconsistent probabilities ⋮ Connexive negation ⋮ An infinity of intuitionistic connexive logics ⋮ Logical multilateralism ⋮ Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation ⋮ A sound and complete tableaux calculus for Reichenbach's quantum mechanics logic ⋮ Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B ⋮ Presumptive Reasoning in a Paraconsistent Setting ⋮ Requiem for logical nihilism, or: logical nihilism annihilated ⋮ A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE ⋮ Notes on models of (partial) Kripke-Feferman truth ⋮ An Invitation to New Essays on Belnap-Dunn Logic ⋮ K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You ⋮ Bridging the Two Plans in the Semantics for Relevant Logic ⋮ Non-distributive relatives of ETL and NFL ⋮ A general framework for FDE-based modal logics ⋮ The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins ⋮ Hilbert-style axiomatization of first-degree entailment and a family of its extensions ⋮ Connexive logics. An overview and current trends ⋮ JGXYZ: an ATP system for gap and glut logics ⋮ PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS ⋮ Neighbourhood semantics for FDE-based modal logics ⋮ A note on FDE ``all the way up ⋮ Embedding friendly first-order paradefinite and connexive logics ⋮ Subminimal negation on the Australian plan ⋮ Valuation semantics for first-order logics of evidence and truth ⋮ First-order logics of evidence and truth with constant and variable domains ⋮ Logical Nihilism and the Logic of ‘prem’ ⋮ Normalisation for Some Quite Interesting Many-Valued Logics ⋮ Paraconsistent Gödel modal logic ⋮ Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics

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
• Unnamed Item
• A Gentzen calculus for nothing but the truth
• Classical negation and expansions of Belnap-Dunn logic
• Generalizing functional completeness in Belnap-Dunn logic
• Truth and falsehood. An inquiry into generalized logical values
• The class of extensions of Nelson's paraconsistent logic
• A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
• Constructive negations and paraconsistency
• First degree entailments
• Simplified semantics for basic relevant logics
• The logic of paradox
• The logic of information structures
• On Łukasiewicz's four-valued modal logic
• Intuitive semantics for first-degree entailments and `coupled trees'
• Reasoning with logical bilattices
• Nothing but the truth
• Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
• A criterion of fullness of many-valued systems of propositional logic
• Four-valued modal logic: Kripke semantics and duality
• Constructive negation, implication, and co-implication
• Belnap's Four-Valued Logic and De Morgan Lattices
• An abstract algebraic logic approach to tetravalent modal logics
• An infinity of super-Belnap logics
• Characterizing Belnap's Logic via De Morgan's Laws
• An expansion of first-order Belnap-Dunn logic
• From Paraconsistent Logic to Dialetheic Logic
• da Costa Meets Belnap and Nelson
• THE LATTICE OF SUPER-BELNAP LOGICS
• Logic and structure

This page was built for publication: 40 years of FDE: an introductory overview