Functional interdependence of regular Kleene logics

zbMATH Open1195.03028MaRDI QIDQ3567765FDOQ3567765

Authors: E. Yu. Komendantskaya 

Publication date: 17 June 2010

Recommendations

• Implicative extensions of regular Kleene logics
• Kleene's Logic, Generalized
• Three-valued Kleene logics and three-element chains
• A lattice of implicative extensions of regular Kleene's logics
• scientific article; zbMATH DE number 590999

zbMATH Keywords

LispKleene logicsregular 3-valued logicsTwinLisp

Mathematics Subject Classification ID

Many-valued logic (03B50) Logical aspects of lattices and related structures (03G10)

Cited In (13)

• Kleene's Logic with equality
• Natural deduction systems for some modifications of Kleene's and Dunn-Belnap's logics
• Generalized correspondence analysis for three-valued logics
• Exactly true and non-falsity logics meeting infectious ones
• Logics based on linear orders of contaminating values
• Natural deduction for Fitting's four-valued generalizations of Kleene's logics
• Three-valued Kleene logics and three-element chains
• Functional Kleene Closures
• A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus
• Implicative extensions of regular Kleene logics
• Enumerating fuzzy switching functions and free Kleene algebras
• Natural deduction for three-valued regular logics
• Natural Deduction for Four-Valued both Regular and Monotonic Logics

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)