Pages that link to "Item:Q2062196"
From MaRDI portal
The following pages link to Cut-free sequent calculus and natural deduction for the tetravalent modal logic (Q2062196):
Displaying 6 items.
- Loop-free calculus for modal logic S4. II (Q392998) (← links)
- Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras (Q2082260) (← links)
- Natural Deduction for Four-Valued both Regular and Monotonic Logics (Q4683216) (← links)
- Cut--free sequent calculus and natural deduction for the tetravalent modal logic (Q6358900) (← links)
- A topological duality for tense modal pseudocomplemented De Morgan algebras (Q6563197) (← links)
- Non-deterministic logic of generalized classical truth values (Q6623947) (← links)