The following pages link to (Q5144357):
Displaying 8 items.
- Substructural logics with mingle (Q1610623) (← links)
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant (Q1685569) (← links)
- Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi (Q2062192) (← links)
- Relational semantics for a fragment of linear logic (Q2874885) (← links)
- Logics for multi-subset spaces (Q2901196) (← links)
- Modal multilattice logics with Tarski, Kuratowski, and Halmos operators (Q5013628) (← links)
- Provability multilattice logic (Q6040535) (← links)
- Algebraic completeness of connexive and bi-intuitionistic multilattice logics (Q6612001) (← links)