Pages that link to "Item:Q4586153"
From MaRDI portal
The following pages link to The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic (Q4586153):
Displaying 5 items.
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE (Q2695525) (← links)
- EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes (Q5066097) (← links)
- Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values (Q5742698) (← links)
- A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable (Q6098217) (← links)
