Pages that link to "Item:Q5243396"
From MaRDI portal
The following pages link to Two proofs of the algebraic completeness theorem for multilattice logic (Q5243396):
Displayed 4 items.
- 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)
- Provability multilattice logic (Q6040535) (← links)