Language in action

DOI10.1007/BF00250539zbMATH Open0743.03018OpenAlexW4236213737MaRDI QIDQ1177646FDOQ1177646

Authors: Johan 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

Recommendations

• Language in action. Categories, lambdas and dynamic logic
• Publication:3489980
• scientific article; zbMATH DE number 4135922
• scientific article; zbMATH DE number 4197948
• scientific article; zbMATH DE number 733404

zbMATH Keywords

programming languagemodal logicLambek calculusdynamic semanticsnatural language semanticsrelational 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)

Cites Work

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

Cited In (33)

• Relation algebras of Sugihara, Belnap, Meyer, and Church
• Interpolation, preservation, and pebble games
• Title not available (Why is that?)
• Learnability of type-logical grammars
• Inclusion and exclusion in natural language
• Derivation rules as anti-axioms in modal logic
• Editor's introduction to the special issue on belief revision
• A system of dynamic modal logic
• Modal languages and bounded fragments of predicate logic
• The logic of Peirce algebras
• Dynamic squares
• On the completeness of the Lambek calculus with respect to relativized relational semantics
• On contextual domain restriction in categorial grammar
• Petri nets, Horn programs, linear logic and vector games
• Fragments of language
• Natural language processing versus logic. Pros and cons on the dispute whether logic is useful in the computational interpretation of language
• Semantic bootstrapping of type-logical grammar
• Commutative Lambek grammars
• Language and proof theory. Preface to the special issue on ``Proof theory and natural language
• Tree models and (labeled) categorial grammar
• Title not available (Why is that?)
• Lambek calculus with conjugates
• Merging without mystery or: Variables in dynamics semantics
• Product-free Lambek calculus and context-free grammars
• European summer meeting of the Association for Symbolic Logic
• Pour une étude du langage via l’interaction : dialogues et sémantique en Ludique
• Title not available (Why is that?)
• Multi-adjoint algebras versus non-commutative residuated structures
• Lambek calculus and its relational semantics: Completeness and incompleteness
• Ockham's razor and reasoning about information flow
• Meeting strength in substructural logics
• Grammar induction by unification of type-logical lexicons
• Logic, logics, and logicism

This page was built for publication: Language in action

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1177646)