Pages that link to "Item:Q2663794"
From MaRDI portal
The following pages link to Correspondence analysis and automated proof-searching for first degree entailment (Q2663794):
Displayed 7 items.
- Correspondence analysis for some fragments of classical propositional logic (Q828774) (← 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)
- Normalisation for Some Quite Interesting Many-Valued Logics (Q5013635) (← 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)
- A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable (Q6098217) (← links)
- Non-transitive correspondence analysis (Q6156626) (← links)