Pages that link to "Item:Q4508244"
From MaRDI portal
The following pages link to An abstract algebraic logic approach to tetravalent modal logics (Q4508244):
Displaying 18 items.
- Hilbert-style presentations of two logics associated to tetravalent modal algebras (Q456967) (← links)
- Algebraic structures in the vicinity of pre-rough algebra and their logics (Q507761) (← links)
- Classical modal De Morgan algebras (Q763322) (← links)
- De Morgan clones and four-valued logics (Q829759) (← links)
- Axiomatizing the skew Boolean propositional calculus (Q877820) (← links)
- 40 years of FDE: an introductory overview (Q1685563) (← links)
- Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators (Q2011822) (← 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)
- On the closure properties of the class of full G-models of a deductive system (Q2433101) (← links)
- On PBZ*-lattices (Q2658283) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- Free Modal Pseudocomplemented De Morgan Algebras (Q4556010) (← links)
- Localization of tetravalent modal algebras (Q4556411) (← links)
- EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes (Q5066097) (← links)
- (Q5179121) (← links)
- Monteiro's algebraic notion of maximal consistent theory for Tarskian logics (Q6079419) (← links)