Natural 3-valued logics—characterization and proof theory

DOI10.2307/2274919zbMath0745.03017OpenAlexW2085956853MaRDI QIDQ3981456

Publication date: 26 June 1992

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

Full work available at URL: https://doi.org/10.2307/2274919

zbMATH Keywords

proof theory consequence relation Lukasiewicz logic paraconsistent logic hypersequents relevant logics 3-valued logics internal and combining connectives

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)

Related Items

Correspondence analysis for some fragments of classical propositional logic ⋮ A simple sequent calculus for partial functions ⋮ Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond ⋮ Three new genuine five-valued logics intended to model non-trivial concepts ⋮ On all strong Kleene generalizations of classical logic ⋮ Generalized correspondence analysis for three-valued logics ⋮ Second-order logic of paradox ⋮ Hypersequents, logical consequence and intermediate logics for concurrency ⋮ AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ An implication based study on Łukasiewicz (Monteiro) 3-valued algebra and pre-rough algebra ⋮ Correspondence analysis and automated proof-searching for first degree entailment ⋮ Semantics and proof-theory of depth bounded Boolean logics ⋮ On deductive bases for paraconsistent answer set semantics ⋮ A modal theorem-preserving translation of a class of three-valued logics of incomplete information ⋮ Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics ⋮ Trivalent logics arising from L-models for the Lambek calculus with constants ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Four-valued paradefinite logics ⋮ Interpolation methods for Dunn logics and their extensions ⋮ Two, Many, and Differently Many ⋮ From many-valued consequence to many-valued connectives ⋮ Semantic inconsistency measures using 3-valued logics ⋮ Tolerating Inconsistencies: A Study of Logic of Moral Conflicts ⋮ On the three-valued expansions of Kleene's logic ⋮ Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation ⋮ Negation and paraconsistent logics ⋮ Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks ⋮ AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX ⋮ Maximal and premaximal paraconsistency in the framework of three-valued semantics ⋮ The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3 ⋮ Ideal paraconsistent logics ⋮ Unnamed Item ⋮ A system for proper multiple-conclusion entailment ⋮ Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3 ⋮ Strict-choice validities: A note on a familiar pluralism ⋮ Classical negation and expansions of Belnap-Dunn logic ⋮ K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You ⋮ Expanding the Logic of Paradox with a Difference-Making Relevant Implication ⋮ Basic quasi-Boolean expansions of relevance logics ⋮ A proof-theoretic foundation of abortive continuations ⋮ Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss ⋮ LP⁺, K3⁺, FDE⁺, AND THEIR ‘CLASSICAL COLLAPSE’ ⋮ First order theory for literal-paraconsistent and literal-paracomplete matrices ⋮ Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values ⋮ Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness ⋮ Equivalence for the \(G_3^\prime\)-stable models semantics ⋮ A strong model of paraconsistent logic ⋮ Distance-based paraconsistent logics ⋮ Models for a paraconsistent set theory ⋮ Anti-intuitionism and paraconsistency ⋮ 1998–99 Annual Meeting of the Association for Symbolic Logic ⋮ Processing Information from a Set of Sources ⋮ Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence ⋮ Valuations: bi, tri, and tetra ⋮ Multicomponent proof-theoretic method for proving interpolation properties ⋮ Rough sets and 3-valued logics ⋮ On the Methodology of Paraconsistent Logic ⋮ Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis ⋮ An Epistemic Interpretation of Paraconsistent Weak Kleene Logic ⋮ Towards a bridge over two approaches in connexive logic ⋮ JGXYZ: an ATP system for gap and glut logics ⋮ The value of the four values ⋮ Brief study of G'₃ logic ⋮ The logic of pragmatic truth ⋮ Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value ⋮ Tutorial on Inconsistency-Adaptive Logics ⋮ Three-Valued Paraconsistent Propositional Logics ⋮ From Possibility Theory to Paraconsistency ⋮ Consequence–Inconsistency Interrelation: In the Framework of Paraconsistent Logics ⋮ Bounded contraction and Gentzen-style formulation of Łukasiewicz logics ⋮ Logical Nihilism and the Logic of ‘prem’ ⋮ Normalisation for Some Quite Interesting Many-Valued Logics ⋮ Credal Calculi, Evidence, and Consistency ⋮ A non-deterministic view on non-classical negations ⋮ The class of extensions of Nelson's paraconsistent logic

Cites Work