The following pages link to (Q5169613):
Displaying 9 items.
- Hilbert-style presentations of two logics associated to tetravalent modal algebras (Q456967) (← links)
- Classical modal De Morgan algebras (Q763322) (← links)
- Motivation and demotivation of a four-valued logic (Q920963) (← links)
- On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic (Q2841956) (← links)
- (Q3469085) (← links)
- Localization of tetravalent modal algebras (Q4556411) (← links)
- A 4-valued framework encompassing intuitionistic and classical logic (Q4583348) (← links)
- Natural Deduction for Four-Valued both Regular and Monotonic Logics (Q4683216) (← links)
- (Q5067981) (← links)
