Pages that link to "Item:Q5414971"
From MaRDI portal
The following pages link to Extended Lambek Calculi and First-Order Linear Logic (Q5414971):
Displaying 12 items.
- Extendible formulas in two variables in intuitionistic logic (Q454378) (← links)
- A construction of one-point bases in extended lambda calculi (Q1029098) (← links)
- Fixed-point extensions of first-order logic (Q1090327) (← links)
- Parsing/theorem-proving for logical grammar \textit{CatLog3} (Q2425322) (← links)
- Models for the Displacement Calculus (Q2835050) (← links)
- Proof Nets for the Displacement Calculus (Q2835060) (← links)
- Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials (Q3532470) (← links)
- (Q4858033) (← links)
- A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic (Q5505560) (← links)
- An extension of first order limit language (Q6075561) (← links)
- Making first order linear logic a generating grammar (Q6137829) (← links)
- Multimodality in the Hypergraph Lambek Calculus (Q6196502) (← links)