Pages that link to "Item:Q456962"
From MaRDI portal
The following pages link to Relational semantics of the Lambek calculus extended with classical propositional logic (Q456962):
Displaying 17 items.
- The Lambek calculus extended with intuitionistic propositional logic (Q332086) (← links)
- Game semantics for the Lambek-calculus: Capturing directionality and the absence of structural rules (Q1005955) (← links)
- Classical conservative extensions of Lambek calculus (Q1850949) (← links)
- Correspondence results for relational proof systems with application to the Lambek calculus (Q1850953) (← links)
- A rule-extension of the non-associative Lambek calculus (Q1850955) (← links)
- Semantics of a relational \(\lambda\)-calculus (Q2037950) (← links)
- Lambek calculus with conjugates (Q2046872) (← links)
- Extending the Lambek calculus with classical negation (Q2118967) (← links)
- Relational models for the Lambek calculus with intersection and unit (Q2695358) (← links)
- On the Complexity of the Equational Theory of Residuated Boolean Algebras (Q2820699) (← links)
- Relational semantics and a relational proof system for full Lambek calculus (Q4212926) (← links)
- Categorial Grammars and Their Logics (Q4611658) (← links)
- Generalized Kripke semantics for the Lambek-Grishin calculus (Q4914003) (← links)
- Extensions of Lambek Calculi (Q5014595) (← links)
- Multi-Sorted Residuation (Q5414962) (← links)
- Modal information logics: axiomatizations and decidability (Q6145035) (← links)
- On undecidability of the propositional logic of an associative binary modality (Q6617171) (← links)