Pages that link to "Item:Q295922"
From MaRDI portal
The following pages link to On all strong Kleene generalizations of classical logic (Q295922):
Displaying 12 items.
- Interpolation methods for Dunn logics and their extensions (Q1685574) (← links)
- Sequent-calculi for metainferential logics (Q2118968) (← links)
- A hierarchy of classical and paraconsistent logics (Q2301322) (← links)
- One step is enough (Q2679573) (← links)
- MTV logics (Q2679585) (← links)
- Kleene's Logic, Generalized (Q3988058) (← links)
- Exactly true and non-falsity logics meeting infectious ones (Q4995617) (← links)
- The value of the one value: \textit{exactly true logic} revisited (Q6054063) (← links)
- From many-valued consequence to many-valued connectives (Q6088601) (← links)
- A completeness proof for a regular predicate logic with undefined truth value (Q6100982) (← links)
- Categoricity problem for LP and K3 (Q6642825) (← links)
- \(\mathsf{ST}\) and \(\mathsf{TS}\) as product and sum (Q6655118) (← links)