Language in action. Categories, lambdas and dynamic logic

MaRDI QIDQ1188935zbMATH OpenFDO

Authors Johan van Benthem

Publication date 17 September 1992

Published in Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)

zbMATH Keywords

semanticslinear logicmodal logicsyntaxlambda calculusdynamic logicrelevant logiccategorial grammarsemantics of programming languagescomputational processing of natural languages

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logic of natural languages (03B65) Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Natural language processing (68T50)

Recommendations

• Publication:3489980
• scientific article; zbMATH DE number 1175489
• Language in action
• scientific article; zbMATH DE number 4106818

Cited in

(72)

• The atomic theory of division of semiring ideals
• Open reading and free choice permission: a perspective in substructural logics
• Symmetric categorial grammar
• Multi-dimensional semantics for modal logics
• A positive information logic for inferential information
• scientific article; zbMATH DE number 4162855 (Why is no real title available?)
• The atomic theory of division and intersection of semiring ideals
• Subexponentials in non-commutative linear logic
• The finitely axiomatizable complete theories of non-associative arrow frames
• Evidence sensitivity in weak necessity deontic modals
• The finite model property for BCI and related systems
• Which structural rules admit cut elimination? An algebraic criterion
• Logic of transition systems
• The Impact of the Lambda Calculus in Logic and Computer Science
• Functional quantification
• The information in intuitionistic logic
• The atomic theory of multiplication and division of semiring ideals
• Language in action
• Equivalences among polarity algorithms
• A remark on collective quantification
• The monotone Lambek calculus is NP-complete
• Bracket induction for Lambek calculus with bracket modalities
• Multimodal linguistic inference
• The conjoinability relation in Lambek calculus and linear logic
• Reasoning about update logic
• On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
• Categorial grammars and their logics
• On Commutative and Nonassociative Syntactic Calculi and Categorial Grammars
• Algebraic structures in categorial grammar
• Pregroup grammars with letter promotions: complexity and context-freeness
• Powerset Residuated Algebras and Generalized Lambek Calculus
• Amalgamation in relation algebras
• Event semantics and abstract categorial grammar
• On fork arrow logic and its expressive power
• Multi-sorted residuation
• On the ternary relation and conditionality
• The displacement calculus
• Directions in generalized quantifier theory
• Logic and complexity in cognitive science
• Language-theoretic and finite relation models for the (full) Lambek calculus
• Honesty in partial logic
• Algebraization of quantifier logics, an introductory overview
• An overview of transaction logic
• Type logics and pregroups
• Extending Lambek grammars to basic categorial grammars
• Logical approximation for program analysis
• Extensions of Lambek calculi
• TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY
• Lambek calculus is NP-complete
• Automatic concepts and automata-theoretic semantics for the full Lambek calculus
• INTERLEAVING LOGIC AND COUNTING
• A fugue on the themes of awareness logic and correspondence
• scientific article; zbMATH DE number 782540 (Why is no real title available?)
• A modal walk through space
• Arrows pointing at arrows: arrow logic, relevance logic, and relation algebras
• Natural logic and natural language inference
• A uniform theory of conditionals
• Logic for languages containing referentially promiscuous expressions
• The Range of Modal Logic
• Meaning, logic and ludics.
• Presupposition failure - a comedy of errors
• Autonomous posets and quantales
• Bisimulations and predicate logic
• Dynamic Epistemic Logic as a Substructural Logic
• Models for the Lambek calculus
• Nonrepresentable relation algebras from groups
• The atomic theory of left division of two-sided ideals of semirings with unit
• A Labelled Deductive System for Relational Semantics of the Lambek Calculus
• A Complete Axiomatic System for a Process-Based Spatial Logic
• Philosophy of science in the Netherlands
• Many-dimensional arrow logics
• On involutive nonassociative Lambek calculus

This page was built for publication: Language in action. Categories, lambdas and dynamic logic

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