Implicative extensions of regular Kleene logics
From MaRDI portal
Recommendations
Cited in
(12)- Extending Horn clause logic with implication goals
- The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3
- Functional interdependence of regular Kleene logics
- Three-valued Kleene logics and three-element chains
- Logics with Impossibility as the Negation and Regular Extensions of the Deontic Logic D2
- scientific article; zbMATH DE number 2170850 (Why is no real title available?)
- Bochvar's three-valued logic and literal paralogics: their lattice and functional equivalence
- scientific article; zbMATH DE number 2196609 (Why is no real title available?)
- A lattice of implicative extensions of regular Kleene's logics
- On the three-valued expansions of Kleene's logic
- Three-valued generalizations of classical logic in weak languages: the degree of maximality
- Logics of conditional computations with errors
This page was built for publication: Implicative extensions of regular Kleene logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3081828)
