Pages that link to "Item:Q4295227"
From MaRDI portal
The following pages link to A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS (Q4295227):
Displaying 27 items.
- The Lambek calculus extended with intuitionistic propositional logic (Q332086) (← links)
- A survey of fuzzifications of frames, the Papert-Papert-Isbell adjunction and sobriety (Q419013) (← links)
- Relational semantics of the Lambek calculus extended with classical propositional logic (Q456962) (← links)
- On the \(\mu \)-calculus over transitive and finite transitive frames (Q606994) (← links)
- Grishin algebras and cover systems for classical bilinear logic (Q647406) (← links)
- On finite models of the Lambek calculus (Q813074) (← links)
- Continuation semantics for the Lambek-Grishin calculus (Q964491) (← links)
- The finite model property for BCK and BCIW (Q1317904) (← links)
- On the completeness of the Lambek calculus with respect to relativized relational semantics (Q1337611) (← links)
- Models for the Lambek calculus (Q1899151) (← links)
- Tree models and (labeled) categorial grammar (Q1923835) (← links)
- Multimodal linguistic inference (Q1923840) (← links)
- Fibred semantics for feature-based grammar logic (Q1923842) (← links)
- Lambek calculus with conjugates (Q2046872) (← links)
- Extending the Lambek calculus with classical negation (Q2118967) (← links)
- Rudimentary Kripke models for the intuitionistic propositional calculus (Q2367411) (← links)
- POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS (Q3006000) (← links)
- Relational semantics and a relational proof system for full Lambek calculus (Q4212926) (← links)
- Categorial Grammars and Their Logics (Q4611658) (← links)
- Galois Connections in Categorial Type Logic (Q4923551) (← links)
- Extensions of Lambek Calculi (Q5014595) (← links)
- (Q5087782) (← links)
- Extended Lambek Calculi and First-Order Linear Logic (Q5414971) (← links)
- Axiomatization and computability of a variant of iteration-free PDL with fork (Q5918208) (← links)
- Relational Models for the Lambek Calculus with Intersection and Constants (Q6178715) (← links)
- COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS (Q6188338) (← links)
- On undecidability of the propositional logic of an associative binary modality (Q6617171) (← links)
