Natural deduction for three-valued regular logics
From MaRDI portal
Recommendations
- Natural three-valued logics characterized by natural deduction
- Natural 3-valued logics—characterization and proof theory
- Natural three-valued logics and classical logic
- Natural deduction system for three-valued Heyting's logic
- The natural deduction systems for the three-valued nonsense logics Z and E
- scientific article; zbMATH DE number 1163566
- Finitely many-valued logics and natural deduction
- Sequent calculi for three-valued logics
- Natural Deduction for Four-Valued both Regular and Monotonic Logics
- Three-valued logics in modal logic
Cites work
- Completeness via correspondence for extensions of the logic of paradox
- Correspondence analysis for first degree entailment
- Functional interdependence of regular Kleene logics
- scientific article; zbMATH DE number 4142014 (Why is no real title available?)
- scientific article; zbMATH DE number 1257634 (Why is no real title available?)
- scientific article; zbMATH DE number 590999 (Why is no real title available?)
- scientific article; zbMATH DE number 1852926 (Why is no real title available?)
- scientific article; zbMATH DE number 6418709 (Why is no real title available?)
- On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
- On four-valued regular logics
- The development of many-valued logics
Cited in
(28)- Dualities for Płonka sums
- Generalized correspondence analysis for three-valued logics
- Natural deduction for Fitting's four-valued generalizations of Kleene's logics
- Deduction normalization theorem for Sette's logic and its modifications
- Natural deduction system for three-valued Heyting's logic
- A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic
- Correspondence analysis and automated proof-searching for first degree entailment
- Sound and complete Gentzen deduction system for intermediate propositional logic
- Natural three-valued logics and classical logic
- Implicative extensions of regular Kleene logics
- Natural deduction systems of some logics with truth-value gluts and truth-value gaps
- K3, Ł3, LP, RM3, A3, FDE, M: how to make many-valued logics work for you
- Natural deduction systems for logics in the FDE family
- Natural 3-valued logics—characterization and proof theory
- Natural Deduction for Four-Valued both Regular and Monotonic Logics
- Logics of variable inclusion and the lattice of consequence relations
- Exactly true and non-falsity logics meeting infectious ones
- Natural deduction for Yuriev's logic
- Natural deduction systems for some modifications of Kleene's and Dunn-Belnap's logics
- Normalisation for some quite interesting many-valued logics
- An epistemic interpretation of paraconsistent weak Kleene logic
- Natural three-valued logics characterized by natural deduction
- A lattice of implicative extensions of regular Kleene's logics
- On Vidal's trivalent explanations for defective conditional in mathematics
- A completeness proof for a regular predicate logic with undefined truth value
- Editorial introduction
- Finite Hilbert systems for weak Kleene logics
- Normalisation for some infectious logics and their relatives
This page was built for publication: Natural deduction for three-valued regular logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4683206)
