Pages that link to "Item:Q4556005"

The following pages link to Useful Four-Valued Extension of the Temporal Logic KtT4 (Q4556005):

Displayed 2 items.

• On a multilattice analogue of a hypersequent S5 calculus (Q3387898) ‎ (← links)
• Two proofs of the algebraic completeness theorem for multilattice logic (Q5243396) ‎ (← links)