Language in action

DOI10.1007/BF00250539zbMath0743.03018OpenAlexW4236213737MaRDI QIDQ1177646

J. F. A. K. van Benthem

Publication date: 26 June 1992

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00250539

zbMATH Keywords

modal logicLambek calculusnatural language semanticsdynamic semanticsprogramming languagerelational algebrasdynamic logicsCategorial Grammarcategorial hierarchylogical approaches to natural languagepropositions as programs

Mathematics Subject Classification ID

Logic of natural languages (03B65) Logic in computer science (03B70) Natural language processing (68T50)

Related Items (29)

On the completeness of the Lambek calculus with respect to relativized relational semantics ⋮ Ockham's razor and reasoning about information flow ⋮ Interpolation, preservation, and pebble games ⋮ Meeting strength in substructural logics ⋮ Derivation rules as anti-axioms in modal logic ⋮ European summer meeting of the Association for Symbolic Logic ⋮ Merging without mystery or: Variables in dynamics semantics ⋮ Petri nets, Horn programs, linear logic and vector games ⋮ Dynamic squares ⋮ Editor's introduction to the special issue on belief revision ⋮ The logic of Peirce algebras ⋮ Language and proof theory. Preface to the special issue on ``Proof theory and natural language ⋮ Tree models and (labeled) categorial grammar ⋮ Multi-adjoint algebras versus non-commutative residuated structures ⋮ Commutative Lambek grammars ⋮ Relation algebras of Sugihara, Belnap, Meyer, and Church ⋮ On contextual domain restriction in categorial grammar ⋮ Grammar induction by unification of type-logical lexicons ⋮ Unnamed Item ⋮ Product-free Lambek calculus and context-free grammars ⋮ Inclusion and exclusion in natural language ⋮ Learnability of type-logical grammars ⋮ Logic, logics, and logicism ⋮ Semantic bootstrapping of type-logical grammar ⋮ Unnamed Item ⋮ Lambek calculus with conjugates ⋮ A system of dynamic modal logic ⋮ Modal languages and bounded fragments of predicate logic ⋮ Lambek calculus and its relational semantics: Completeness and incompleteness

Cites Work

• Linear logic
• A sequent calculus for relation algebras
• Logical constants across varying types
• Categorial grammar and type theory
• Handbook of philosophical logic. Volume II: Extensions of classical logic
• Essays in logical semantics
• The linear abstract machine
• The semantics and proof theory of linear logic
• Constructivism in mathematics. An introduction. Volume I
• Language in action. Categories, lambdas and dynamic logic
• The adequacy problem for inferential logic
• Defaults in update semantics
• The Mathematics of Sentence Structure
• A Completeness Theorem for the Lambek Calculus of Syntactic Categories
• Completeness Results for Lambek Syntactic Calculus
• Dynamic predicate logic
• Semantics for relevant logics
• A comparison between lambek syntactic calculus and intuitionistic linear propositional logic
• Boolean Algebras with Operators. Part I
• Concatenation as a basis for arithmetic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Language in action