Natural 3-valued logics—characterization and proof theory

DOI10.2307/2274919zbMATH Open0745.03017OpenAlexW2085956853MaRDI QIDQ3981456FDOQ3981456

Authors: Arnon Avron 

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

Recommendations

• Natural three-valued logics characterized by natural deduction
• Natural deduction for three-valued regular logics
• Partial and paraconsistent three-valued logics
• K3, Ł3, LP, RM3, A3, FDE, M: how to make many-valued logics work for you

zbMATH Keywords

consequence relationproof theoryparaconsistent logichypersequentsrelevant logicsLukasiewicz logic3-valued logicsinternal and combining connectives

Mathematics Subject Classification ID

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

Cites Work

• The semantics and proof theory of linear logic
• Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle
• On the theory of inconsistent formal systems
• Title not available (Why is that?)
• Linear logic
• Title not available (Why is that?)
• A logic covering undefinedness in program proofs
• A constructive analysis of RM
• Title not available (Why is that?)
• On an implication connective of RM
• Systematization of finite many-valued logics through the method of tableaux
• Three-valued logics: An introduction, a comparison of various logical lexica, and some philosophical remarks
• On Entailment

Cited In (88)

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

This page was built for publication: Natural 3-valued logics—characterization and proof theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3981456)