Pages that link to "Item:Q263087"
From MaRDI portal
The following pages link to An interpretation of Łukasiewicz's 4-valued modal logic (Q263087):
Displaying 5 items.
- A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes (Q895828) (← links)
- Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators (Q2011822) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic (Q4586153) (← links)
- EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes (Q5066097) (← links)
