Pages that link to "Item:Q1906000"
From MaRDI portal
The following pages link to Some lattice models of bilinear logic (Q1906000):
Displaying 15 items.
- Grishin algebras and cover systems for classical bilinear logic (Q647406) (← links)
- Nonsymmetric \(^{\ast}\)-autonomous categories (Q673964) (← links)
- Gentzen-type methods for bilattice negation (Q813084) (← links)
- Lattice-ordered pregroups are semi-distributive (Q1996094) (← links)
- Should pregroup grammars be adorned with additional operations? (Q2467222) (← links)
- Strong negation in intuitionistic style sequent systems for residuated lattices (Q2922496) (← links)
- Algebraic and Categorical Aspects of Quantales (Q3053874) (← links)
- (Q4250067) (← links)
- Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity (Q4608556) (← links)
- (Q4792079) (← links)
- (Q4842967) (← links)
- Extensions of Lambek Calculi (Q5014595) (← links)
- On Canonical Embeddings of Residuated Groupoids (Q5414968) (← links)
- Top Varieties of Generalized MV-Algebras and Unital Lattice-Ordered Groups (Q5432593) (← links)
- (Q5472337) (← links)