Pages that link to "Item:Q456967"
From MaRDI portal
The following pages link to Hilbert-style presentations of two logics associated to tetravalent modal algebras (Q456967):
Displayed 3 items.
- Cut-free sequent calculus and natural deduction for the tetravalent modal logic (Q2062196) (← links)
- Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras (Q2082260) (← links)
- On monadic operators on modal pseudocomplemented De Morgan algebras and tetravalent modal algebras (Q2323631) (← links)