Natural 3-valued logics—characterization and proof theory
From MaRDI portal
(Redirected from Publication:3981456)
Recommendations
Cites work
- scientific article; zbMATH DE number 4055579 (Why is no real title available?)
- scientific article; zbMATH DE number 46957 (Why is no real title available?)
- scientific article; zbMATH DE number 787684 (Why is no real title available?)
- A constructive analysis of RM
- A logic covering undefinedness in program proofs
- Linear logic
- Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle
- On Entailment
- On an implication connective of RM
- On the theory of inconsistent formal systems
- Systematization of finite many-valued logics through the method of tableaux
- The semantics and proof theory of linear logic
- Three-valued logics: An introduction, a comparison of various logical lexica, and some philosophical remarks
Cited in
(only showing first 100 items - show all)- Rough sets and 3-valued logics
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
- The only 3-valued logic which is a natural implication expansion with the variable-sharing property of Kleene's strong logic
- Trivalent logics arising from L-models for the Lambek calculus with constants
- On deductive bases for paraconsistent answer set semantics
- Towards a bridge over two approaches in connexive logic
- JGXYZ: an ATP system for gap and glut logics
- Tutorial on Inconsistency-Adaptive Logics
- A three-valued Fregean quantification logic
- Brief study of G'3 logic
- scientific article; zbMATH DE number 13471 (Why is no real title available?)
- Negation and paraconsistent logics
- Processing Information from a Set of Sources
- On the three-valued expansions of Kleene's logic
- Equivalence for the G₃^-stable models semantics
- scientific article; zbMATH DE number 4135917 (Why is no real title available?)
- Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values
- Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation
- Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond
- Natural three-valued logics and classical logic
- Basic quasi-Boolean expansions of relevance logics
- The logic of pragmatic truth
- Semantics and proof-theory of depth bounded Boolean logics
- Models for a paraconsistent set theory
- Generalized correspondence analysis for three-valued logics
- Four-valued paradefinite logics
- A strong model of paraconsistent logic
- An implication based study on Łukasiewicz (Monteiro) 3-valued algebra and pre-rough algebra
- Second-order logic of paradox
- Bounded contraction and Gentzen-style formulation of Łukasiewicz logics
- An epistemic interpretation of paraconsistent weak Kleene logic
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
- Automated correspondence analysis for the binary extensions of the logic of paradox
- On all strong Kleene generalizations of classical logic
- Hypersequents, logical consequence and intermediate logics for concurrency
- Bochvar's three-valued logic and literal paralogics: their lattice and functional equivalence
- A non-deterministic view on non-classical negations
- Natural three-valued logics characterized by natural deduction
- Three-valued paraconsistent propositional logics
- Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis
- 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
- Classical negation and expansions of Belnap-Dunn logic
- Anti-intuitionism and paraconsistency
- A system for proper multiple-conclusion entailment
- A modal theorem-preserving translation of a class of three-valued logics of incomplete information
- Abstract argumentation frameworks with strong and weak constraints
- Paraconsistent and paracomplete Zermelo-Fraenkel set theory
- A simple sequent calculus for partial functions
- scientific article; zbMATH DE number 4049622 (Why is no real title available?)
- Normalisation for some quite interesting many-valued logics
- Expanding the logic of paradox with a difference-making relevant implication
- Distance-based paraconsistent logics
- Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics
- Natural deduction system for three-valued Heyting's logic
- A note on the expressive completeness of LP in a metatheory without negation
- Correspondence analysis and automated proof-searching for first degree entailment
- scientific article; zbMATH DE number 465607 (Why is no real title available?)
- Ideal paraconsistent logics
- From possibility theory to paraconsistency
- The value of the four values
- On all pure three-valued logics
- A proof-theoretic foundation of abortive continuations
- Proof systems for 3-valued logics based on Gödel's implication
- Partial and paraconsistent three-valued logics
- Two, Many, and Differently Many
- Credal Calculi, Evidence, and Consistency
- Semantic inconsistency measures using 3-valued logics
- A logical consequence informed by probability
- Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks
- Valuations: bi, tri, and tetra
- Consequence-inconsistency interrelation: in the framework of paraconsistent logics
- Multicomponent proof-theoretic method for proving interpolation properties
- From many-valued consequence to many-valued connectives
- scientific article; zbMATH DE number 7455717 (Why is no real title available?)
- Strict-choice validities: A note on a familiar pluralism
- Categoricity problem for LP and K3
- \(\mathrm{LP}^{+}\), \(\mathrm{K3}^{+}\), \(\mathrm{FDE}^{+}\), and their `classical collapse'
- The external version of a subclassical logic
- A note on fixed points in Łukasiewicz logic
- Interpolation methods for Dunn logics and their extensions
- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus
- scientific article; zbMATH DE number 1558117 (Why is no real title available?)
- On the methodology of paraconsistent logic
- K3, Ł3, LP, RM3, A3, FDE, M: how to make many-valued logics work for you
- Maximal and premaximal paraconsistency in the framework of three-valued semantics
- Generalized explosion principles
- Natural deduction for Yuriev's logic
- The class of extensions of Nelson's paraconsistent logic
- Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics
- AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC
- Gates and circuits via Dunn semantics
- Weak Belnapian modal logic
- Correspondence analysis for some fragments of classical propositional logic
- Generalisation of proof simulation procedures for Frege systems by M. L. Bonet and S. R. Buss
- Logical nihilism and the logic of `prem'
- Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3
- First order theory for literal-paraconsistent and literal-paracomplete matrices
- Natural deduction for three-valued regular logics
- 1998–99 Annual Meeting of the Association for Symbolic Logic
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)
