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):
Displaying 7 items.
- Classical modal De Morgan algebras (Q763322) (← links)
- 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)
- Monteiro's algebraic notion of maximal consistent theory for Tarskian logics (Q6079419) (← links)
- A topological duality for tense modal pseudocomplemented De Morgan algebras (Q6563197) (← links)
- Non-deterministic logic of generalized classical truth values (Q6623947) (← links)