Pages that link to "Item:Q1604790"
From MaRDI portal
The following pages link to On Łukasiewicz's four-valued modal logic (Q1604790):
Displayed 15 items.
- An interpretation of Łukasiewicz's 4-valued modal logic (Q263087) (← links)
- Hilbert-style presentations of two logics associated to tetravalent modal algebras (Q456967) (← links)
- A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes (Q895828) (← links)
- 40 years of FDE: an introductory overview (Q1685563) (← links)
- Four-valued paradefinite logics (Q1685565) (← links)
- Paraconsistent logic from a modal viewpoint (Q1775860) (← links)
- Replacement in logic (Q1947034) (← links)
- Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators (Q2011822) (← links)
- Is `no' a force-indicator? Yes, sooner or later! (Q2399605) (← links)
- Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5 (Q2499308) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- Non-classical operations hidden in classical logic (Q3643318) (← links)
- A modal theorem-preserving translation of a class of three-valued logics of incomplete information (Q4583322) (← links)
- EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes (Q5066097) (← links)
- Introduction (Q5892200) (← links)