40 years of FDE: an introductory overview
type: Item
instance of: scholarly article
title: 40 years of FDE: an introductory overview
zbMATH Open document ID: 1417.03027
author: Hitoshi Omori
author: Heinrich Wansing
published in: Studia Logica
publication date: 2017-12-14T00:00:00Z
Mathematics Subject Classification ID: 03-03
Mathematics Subject Classification ID: 03-06
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 03B47
Mathematics Subject Classification ID: 03B53
Mathematics Subject Classification ID: 00B15
zbMATH DE Number: 6818669
zbMATH Keywords: first-degree entailment logic
zbMATH Keywords: expansions of FDE
zbMATH Keywords: paraconsistent logic
zbMATH Keywords: paracomplete logic
zbMATH Keywords: modal logic
MaRDI profile type: Publication
full work available at URL: s11225-017-9748-6
OpenAlex ID: W2763778849
cites work: First degree entailments
cites work: Q4085699
cites work: Reasoning with logical bilattices
cites work: Q4893133
cites work: Q3858244
cites work: Q3018991
cites work: Classical negation and expansions of Belnap-Dunn logic
cites work: Intuitive semantics for first-degree entailments and `coupled trees'
cites work: Q3604278
cites work: Belnap's Four-Valued Logic and De Morgan Lattices
cites work: On Łukasiewicz's four-valued modal logic
cites work: An abstract algebraic logic approach to tetravalent modal logics
cites work: Q5474628
cites work: da Costa Meets Belnap and Nelson
cites work: Q5175691
cites work: Q4532200
cites work: Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
cites work: A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
cites work: The class of extensions of Nelson's paraconsistent logic
cites work: Constructive negations and paraconsistency
cites work: Q3367330
cites work: Q2901198
cites work: From Paraconsistent Logic to Dialetheic Logic
cites work: Generalizing functional completeness in Belnap-Dunn logic
cites work: Nothing but the truth
cites work: The logic of paradox
cites work: Q3518425
cites work: Simplified semantics for basic relevant logics
cites work: THE LATTICE OF SUPER-BELNAP LOGICS
cites work: Characterizing Belnap's Logic via De Morgan's Laws
cites work: An infinity of super-Belnap logics
cites work: Four-valued modal logic: Kripke semantics and duality
cites work: An expansion of first-order Belnap-Dunn logic
cites work: Truth and falsehood. An inquiry into generalized logical values
cites work: A criterion of fullness of many-valued systems of propositional logic
cites work: Logic and structure
cites work: The logic of information structures
cites work: Q4532204
cites work: Q5483018
cites work: Constructive negation, implication, and co-implication
cites work: A Gentzen calculus for nothing but the truth
DOI: 10.1007/S11225-017-9748-6
description: scientific article; zbMATH DE number 6818669