Functional interdependence of regular Kleene logics
From MaRDI portal
(Redirected from Publication:3567765)
Recommendations
Cited in
(16)- Kleene's Logic with equality
- Generalized correspondence analysis for three-valued logics
- Natural deduction for Fitting's four-valued generalizations of Kleene's logics
- Modeling the interaction of computer errors by four-valued contaminating logics
- Functional Kleene Closures
- Implicative extensions of regular Kleene logics
- Three-valued Kleene logics and three-element chains
- Natural deduction for three-valued regular logics
- Natural Deduction for Four-Valued both Regular and Monotonic Logics
- Exactly true and non-falsity logics meeting infectious ones
- Natural deduction systems for some modifications of Kleene's and Dunn-Belnap's logics
- Logics based on linear orders of contaminating values
- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus
- Computer-aided searching for a tabular many-valued discussive logic -- matrices
- Logics of conditional computations with errors
- Enumerating fuzzy switching functions and free Kleene algebras
This page was built for publication: Functional interdependence of regular Kleene logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3567765)
