Pages that link to "Item:Q454381"
From MaRDI portal
The following pages link to \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics (Q454381):
Displaying 17 items.
- Hoop twist-structures (Q334145) (← links)
- On Belnapian modal algebras: representations, homomorphisms, congruences, and so on (Q891023) (← links)
- Generalised \(\mathbf{BK}\)-frames (Q891993) (← links)
- Disentangling \textsf{FDE}-based paraconsistent modal logics (Q1685570) (← links)
- Modal extension of ideal paraconsistent four-valued logic and its subsystem (Q2004955) (← links)
- Neighbourhood semantics for FDE-based modal logics (Q2062194) (← links)
- Modal bilattice logic and its extensions (Q2145869) (← links)
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation (Q2236504) (← links)
- Belnap-Dunn modal logic with value operators (Q2243547) (← links)
- Implicative twist-structures (Q2449455) (← links)
- Paraconsistent modal logics (Q2825416) (← links)
- The lattice of Belnapian modal logics: Special extensions and counterparts (Q2987755) (← links)
- Modelling Sources of Inconsistent Information in Paraconsistent Modal Logic (Q3305620) (← links)
- On a multilattice analogue of a hypersequent S5 calculus (Q3387898) (← links)
- BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES (Q5107540) (← links)
- Modal twist-structures over residuated lattices (Q5172134) (← links)
- On the quantified version of the Belnap-Dunn modal logic (Q6582282) (← links)
