Pages that link to "Item:Q3006115"
From MaRDI portal
The following pages link to Cyclic Involutive Distributive Full Lambek Calculus is Decidable (Q3006115):
Displaying 5 items.
- Distributive full Lambek calculus has the finite model property (Q1015484) (← links)
- Relation algebras as expanded FL-algebras (Q1936489) (← links)
- Non-associative, non-commutative multi-modal linear logic (Q2104536) (← links)
- Strong negation in intuitionistic style sequent systems for residuated lattices (Q2922496) (← links)
- Extended Kripke lemma and decidability for hypersequent substructural logics (Q5145681) (← links)