Pages that link to "Item:Q5742698"
From MaRDI portal
The following pages link to Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values (Q5742698):
Displaying 10 items.
- A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\) (Q2035847) (← links)
- The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3 (Q2209169) (← links)
- 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 (Q2236505) (← links)
- Basic quasi-Boolean expansions of relevance logics (Q2236601) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- A basic quasi-Boolean logic of intuitionistic character (Q4994021) (← links)
- Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B (Q5066095) (← links)
- Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation (Q5156187) (← links)
- Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value (Q5231281) (← links)
- A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable (Q6098217) (← links)
