Proof theory of paraconsistent weak Kleene logic
From MaRDI portal
(Redirected from Publication:2193974)
Recommendations
Cites work
- scientific article; zbMATH DE number 5997426 (Why is no real title available?)
- scientific article; zbMATH DE number 3129315 (Why is no real title available?)
- scientific article; zbMATH DE number 4033738 (Why is no real title available?)
- scientific article; zbMATH DE number 1989647 (Why is no real title available?)
- scientific article; zbMATH DE number 1852926 (Why is no real title available?)
- scientific article; zbMATH DE number 3061149 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- A tableau style proof system for two paraconsistent logics
- Abstract algebraic logic. An introductory textbook
- An epistemic interpretation of paraconsistent weak Kleene logic
- An introduction to non-classical logic. From if to is
- Characterizing logical consequence in paraconsistent weak Kleene
- Conjunction and disjunction in infectious logics
- Equivalence of consequence operations
- Gentzen's cut-free calculus versus the logic of paradox
- Handbook of philosophical logic. Vol. 6
- Logics based on linear orders of contaminating values
- Logics of left variable inclusion and Płonka sums of matrices
- Logics of variable inclusion and the lattice of consequence relations
- Meaning and proscription in formal logic. Variations on the propositional logic of William T. Parry
- Meaningless divisions
- Modeling the interaction of computer errors by four-valued contaminating logics
- Natural deduction systems for logics in the FDE family
- Off-topic: a new interpretation of weak Kleene logic
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
- Proof theory for fuzzy logics
- Relevant logics obeying component homogeneity
- Semantical analysis of weak Kleene logics
- Sequent calculi for the classical fragment of Bochvar and Halldén's nonsense logics
- Simple consequence relations
- The logics of strict-tolerant logic
Cited in
(23)- Pure variable inclusion logics
- Conjunction in paraconsistent weak Kleene logic
- An epistemic interpretation of paraconsistent weak Kleene logic
- On all strong Kleene generalizations of classical logic
- Characterizing logical consequence in paraconsistent weak Kleene
- A generalization of Beall's off-topic interpretation
- The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)
- scientific article; zbMATH DE number 6407640 (Why is no real title available?)
- Editorial introduction
- scientific article; zbMATH DE number 759538 (Why is no real title available?)
- Proof-theoretic conservations of weak weak intuitionistic constructive set theories
- A new game theoretic semantics (GTS-2) for weak Kleene logics
- Finite Hilbert systems for weak Kleene logics
- Non-reflexive nonsense: proof theory of paracomplete weak Kleene logic
- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus
- Logical Weak Completions of Paraconsistent Logics
- Extensions of paraconsistent weak Kleene logic
- Monstrous content and the bounds of discourse
- Meaningless divisions
- A simple logical matrix and sequent calculus for Parry's logic of analytic implication
- Neutral free logic: motivation, proof theory and models
- Structural proof theory for first-order weak Kleene logics
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
This page was built for publication: Proof theory of paraconsistent weak Kleene logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2193974)
