Pages that link to "Item:Q5241917"
From MaRDI portal
The following pages link to Reduced Routley–Meyer semantics for the logics characterized by natural implicative expansions of Kleene’s strong 3-valued matrix (Q5241917):
Displaying 4 items.
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← 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)
- (Q5871538) (← links)