On the three-valued expansions of Kleene's logic
From MaRDI portal
Publication:6143288
DOI10.21146/2074-1472-2023-29-2-59-88OpenAlexW4388529881MaRDI QIDQ6143288
Publication date: 23 January 2024
Published in: Logical Investigations (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.21146/2074-1472-2023-29-2-59-88
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On an implication connective of RM
- Matrix representations for structural strengthenings of a propositional logic
- Theory of logical calculi. Basic theory of consequence operations
- The logics stronger than Lukasiewicz's three valued sentential calculus. The notion of degree of maximality versus the notion of degree of completeness
- A note on direct products and ultraproducts of logical matrices
- Connections between some notions of completeness of structural propositional calculi
- The logic of paradox
- Lattices of quasivarieties of 3-element algebras
- The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3
- A class of implicative expansions of Kleene's strong logic, a subclass of which is shown functionally complete via the precompleteness of Łukasiewicz's 3-valued logic Ł3
- Cardinality of the continuum of closed superclasses of some minimal classes in the partially ordered set \(\mathcal{L}_2^3\)
- A calculus of antinomics
- Logic of antinomies
- Natural 3-valued logics—characterization and proof theory
- Subprevarieties versus extensions. Application to the logic of paradox
- Nonsense logics and their algebraic properties
- On the expressive power of three-valued and four-valued languages
- Extensions of paraconsistent weak Kleene logic
- A remark on functional completeness of binary expansions of Kleene’s strong 3-valued logic
- Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis
- Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value
- Three-Valued Paraconsistent Propositional Logics
- Reduced Routley–Meyer semantics for the logics characterized by natural implicative expansions of Kleene’s strong 3-valued matrix
- Function Algebras on Finite Sets
- A Lattice of Implicative Extensions of Regular Kleene's Logics
- On notation for ordinal numbers
- Partiality and its dual in natural implicative expansions of Kleene’s strong 3-valued matrix with only one designated value
This page was built for publication: On the three-valued expansions of Kleene's logic
