Pages that link to "Item:Q1685569"
From MaRDI portal
The following pages link to Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant (Q1685569):
Displaying 5 items.
- Modal multilattice logic (Q1682294) (← links)
- On a multilattice analogue of a hypersequent S5 calculus (Q3387898) (← links)
- Modal multilattice logics with Tarski, Kuratowski, and Halmos operators (Q5013628) (← links)
- Two proofs of the algebraic completeness theorem for multilattice logic (Q5243396) (← links)
- Algebraic completeness of connexive and bi-intuitionistic multilattice logics (Q6612001) (← links)
