A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
From MaRDI portal
Publication:4295227
DOI10.1002/malq.19920380113zbMath0793.03025OpenAlexW2085716418MaRDI QIDQ4295227
Publication date: 8 June 1994
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19920380113
surveycompletenesslinear logicKripke modelsrelevant logicsLambek calculus of syntactic categoriesternary relational models
Related Items (23)
Rudimentary Kripke models for the intuitionistic propositional calculus ⋮ On the completeness of the Lambek calculus with respect to relativized relational semantics ⋮ Models for the Lambek calculus ⋮ The Lambek calculus extended with intuitionistic propositional logic ⋮ Tree models and (labeled) categorial grammar ⋮ Multimodal linguistic inference ⋮ Fibred semantics for feature-based grammar logic ⋮ Relational Models for the Lambek Calculus with Intersection and Constants ⋮ COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS ⋮ Categorial Grammars and Their Logics ⋮ Grishin algebras and cover systems for classical bilinear logic ⋮ Relational semantics of the Lambek calculus extended with classical propositional logic ⋮ POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS ⋮ Extended Lambek Calculi and First-Order Linear Logic ⋮ Continuation semantics for the Lambek-Grishin calculus ⋮ Galois Connections in Categorial Type Logic ⋮ Unnamed Item ⋮ Axiomatization and computability of a variant of iteration-free PDL with fork ⋮ Lambek calculus with conjugates ⋮ Relational semantics and a relational proof system for full Lambek calculus ⋮ Extensions of Lambek Calculi ⋮ The finite model property for BCK and BCIW ⋮ Extending the Lambek calculus with classical negation
This page was built for publication: A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
