Pages that link to "Item:Q895828"
From MaRDI portal
The following pages link to A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes (Q895828):
Displaying 12 items.
- An interpretation of Łukasiewicz's 4-valued modal logic (Q263087) (← links)
- On Łukasiewicz's four-valued modal logic (Q1604790) (← links)
- 40 years of FDE: an introductory overview (Q1685563) (← links)
- Modal extension of ideal paraconsistent four-valued logic and its subsystem (Q2004955) (← links)
- Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators (Q2011822) (← links)
- An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi (Q2084568) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic (Q2841956) (← links)
- Society semantics for four-valued Łukasiewicz logic (Q3386902) (← links)
- (Q5169613) (← links)
- A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable (Q6098217) (← links)
- On Ivlev's semantics for modality (Q6623952) (← links)
