Natural deduction systems for some modifications of Kleene's and Dunn-Belnap's logics
From MaRDI portal
Recommendations
- Natural deduction for Fitting's four-valued generalizations of Kleene's logics
- Natural deduction for three-valued regular logics
- Natural Deduction for Four-Valued both Regular and Monotonic Logics
- scientific article; zbMATH DE number 590999
- A lattice of implicative extensions of regular Kleene's logics
Cites work
- A calculus of antinomics
- A precise definition of an inference (by the example of natural deduction systems for logics \(I_{\langle \alpha, \beta\rangle}\))
- Automated correspondence analysis for the binary extensions of the logic of paradox
- Belnap's Four-Valued Logic and De Morgan Lattices
- Completeness via correspondence for extensions of the logic of paradox
- Correspondence analysis for logic of rational agent
- Functional interdependence of regular Kleene logics
- Handbook of philosophical logic. Vol. 5
- scientific article; zbMATH DE number 4180779 (Why is no real title available?)
- scientific article; zbMATH DE number 3648682 (Why is no real title available?)
- scientific article; zbMATH DE number 590999 (Why is no real title available?)
- scientific article; zbMATH DE number 6418709 (Why is no real title available?)
- scientific article; zbMATH DE number 2209823 (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?)
- Intuitive semantics for first-degree entailments and `coupled trees'
- Kleene's Logic, Generalized
- Natural deduction for Fitting's four-valued generalizations of Kleene's logics
- Natural Deduction for Four-Valued both Regular and Monotonic Logics
- Natural deduction for three-valued regular logics
- Natural deduction for Yuriev's logic
- On four-valued regular logics
- On notation for ordinal numbers
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
- The completeness of the first-order functional calculus
- The logic of paradox
Cited in
(6)- Natural deduction for Fitting's four-valued generalizations of Kleene's logics
- On four-valued regular logics
- scientific article; zbMATH DE number 590999 (Why is no real title available?)
- Generalizing functional completeness in Belnap-Dunn logic
- Natural deduction, hybrid systems and modal logics
- De Morgan clones and four-valued logics
This page was built for publication: Natural deduction systems for some modifications of Kleene's and Dunn-Belnap's logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4999723)
