Generalizing functional completeness in Belnap-Dunn logic

DOI10.1007/s11225-014-9597-5zbMath1376.03024OpenAlexW2073514978MaRDI QIDQ497416

Katsuhiko Sano, Hitoshi Omori

Publication date: 24 September 2015

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

Full work available at URL: https://doi.org/10.1007/s11225-014-9597-5

zbMATH Keywords

relational semanticsfunctional completenessBelnap-Dunn logic

Mathematics Subject Classification ID

Many-valued logic (03B50)

Related Items (21)

On all strong Kleene generalizations of classical logic ⋮ A Gentzen calculus for nothing but the truth ⋮ О выразительных возможностях максимально паранепротиворечивых и параполных четырехзначных расширений FDE ⋮ О выразительных возможностях отдельных расширений четырехзначной логики Белнапа ⋮ ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION ⋮ Correspondence analysis and automated proof-searching for first degree entailment ⋮ 40 years of FDE: an introductory overview ⋮ Interpolation methods for Dunn logics and their extensions ⋮ From many-valued consequence to many-valued connectives ⋮ Connexive negation ⋮ A sound and complete tableaux calculus for Reichenbach's quantum mechanics logic ⋮ Revisiting Reichenbach's logic ⋮ Presumptive Reasoning in a Paraconsistent Setting ⋮ Basic Four-Valued Systems of Cyclic Negations ⋮ Four-Valued Logics BD and DM4: Expansions ⋮ Bilattice Logics and Demi-Negation ⋮ From Paraconsistent Logic to Dialetheic Logic ⋮ Connexive logics. An overview and current trends ⋮ Humble Connexivity ⋮ On Definability of Connectives and Modal Logics over FDE ⋮ Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On partial and paraconsistent logics
• Some useful 16-valued logics: How a computer network should think
• Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
• Jerzy Słupecki (1904-1987): Life and work
• What is a non-truth-functional logic?
• Investigations into the system of intuitionistic logic
• The value of the four values
• Handbook of philosophical logic. Vol. 5
• Reasoning with logical bilattices
• Contradictory information: too much of a good thing
• The power of Belnap: sequent systems for \(SIXTEEN_{3 }\)
• A criterion of fullness of many-valued systems of propositional logic
• A calculus of antinomics
• Formal inconsistency and evolutionary databases
• Kleene's Logic, Generalized
• Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
• A propositional logic with 4 values: true, false, divergent and meaningless
• Logics of Formal Inconsistency
• On the expressive power of three-valued and four-valued languages
• An expansion of first-order Belnap-Dunn logic
• da Costa Meets Belnap and Nelson

This page was built for publication: Generalizing functional completeness in Belnap-Dunn logic