The following pages link to (Q3018991):
Displaying 16 items.
- Hilbert-style presentations of two logics associated to tetravalent modal algebras (Q456967) (← links)
- Classical negation and expansions of Belnap-Dunn logic (Q495842) (← links)
- 40 years of FDE: an introductory overview (Q1685563) (← links)
- Paraconsistent double negations as classical and intuitionistic negations (Q1685568) (← links)
- An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi (Q2084568) (← links)
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation (Q2236504) (← links)
- Dugundji's theorem revisited (Q2254571) (← links)
- Is `no' a force-indicator? Yes, sooner or later! (Q2399605) (← links)
- Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework (Q2418013) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- A modal theorem-preserving translation of a class of three-valued logics of incomplete information (Q4583322) (← links)
- A 4-valued framework encompassing intuitionistic and classical logic (Q4583348) (← links)
- Four-Valued Logics BD and DM4: Expansions (Q4608553) (← links)
- The Lvov-Warsaw School: A True Mythology (Q4611708) (← links)
- EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes (Q5066097) (← links)
- Being Consistent About Inconsistency: Toward the Rational Fusing of Inconsistent Propositional Logic Bases (Q5350352) (← links)
