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):
Displaying 7 items.
- A simple combinatorial proof for the small model property of two-variable logic (Q2032164) (← links)
- On a multilattice analogue of a hypersequent S5 calculus (Q3387898) (← links)
- (Q3652172) (← 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)
- Algebraic completeness of connexive and bi-intuitionistic multilattice logics (Q6612001) (← links)