Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation

DOI10.1080/11663081.2021.1948285OpenAlexW3177526669MaRDI QIDQ5156187

No author found.

Publication date: 15 October 2021

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2021.1948285

zbMATH Keywords

natural conditionalsdual Gödel-type negationGödel-type negationKleene's strong 3-valued matrixtwo-valued belnap-Dunn semantics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Uses Software

• MaGIC

Cites Work

• Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
• Some remarks on three-valued logic of J. Lukasiewicz
• The logic of paradox
• Generalized correspondence analysis for three-valued logics
• Self-extensional three-valued paraconsistent logics
• Intuitive semantics for first-degree entailments and `coupled trees'
• Partiality and its dual
• On finite-valued propositional logical calculi
• A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\)
• A calculus of antinomics
• Correspondence analysis and automated proof-searching for first degree entailment
• (Star-Based) three-valued Kripke-style semantics for pseudo- and weak-Boolean logics
• Jaśkowski's criterion and three-valued paraconsistent logics
• Formal inconsistency and evolutionary databases
• Kleene's Logic, Generalized
• Self-extensional three-valued paraconsistent logics have no implication
• Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence
• On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
• COMPLETENESS VIA CORRESPONDENCE FOR EXTENSIONS OF THE LOGIC OF PARADOX
• A basic quasi-Boolean logic of intuitionistic character
• Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value
• Reduced Routley–Meyer semantics for the logics characterized by natural implicative expansions of Kleene’s strong 3-valued matrix
• Cut-free sequent calculi for C-systems with generalized finite-valued semantics
• A Lattice of Implicative Extensions of Regular Kleene's Logics
• Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values
• 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

This page was built for publication: Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation