Language in action. Categories, lambdas and dynamic logic

Publication date: 17 September 1992

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

zbMATH Keywords

modal logic linear logic dynamic logic relevant logic semantics lambda calculus syntax categorial grammar semantics of programming languages computational processing of natural languages

Mathematics Subject Classification ID

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

Related Items (69)

The conjoinability relation in Lambek calculus and linear logic ⋮ The Range of Modal Logic ⋮ A positive information logic for inferential information ⋮ The information in intuitionistic logic ⋮ An overview of transaction logic ⋮ Event Semantics and Abstract Categorial Grammar ⋮ Reasoning about update logic ⋮ Presupposition failure - a comedy of errors ⋮ Symmetric categorial grammar ⋮ Logic of transition systems ⋮ Models for the Lambek calculus ⋮ Directions in generalized quantifier theory ⋮ Language-theoretic and finite relation models for the (full) Lambek calculus ⋮ On Commutative and Nonassociative Syntactic Calculi and Categorial Grammars ⋮ Honesty in partial logic ⋮ Autonomous posets and quantales ⋮ The atomic theory of left division of two-sided ideals of semirings with unit ⋮ Extending Lambek grammars to basic categorial grammars ⋮ Multimodal linguistic inference ⋮ Multi-dimensional semantics for modal logics ⋮ Algebraic structures in categorial grammar ⋮ Logical approximation for program analysis ⋮ Bisimulations and predicate logic ⋮ On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic ⋮ On involutive nonassociative Lambek calculus ⋮ Bracket induction for Lambek calculus with bracket modalities ⋮ Automatic Concepts and Automata-Theoretic Semantics for the Full Lambek Calculus ⋮ The displacement calculus ⋮ INTERLEAVING LOGIC AND COUNTING ⋮ Natural logic and natural language inference ⋮ Powerset Residuated Algebras and Generalized Lambek Calculus ⋮ Categorial Grammars and Their Logics ⋮ On the ternary relation and conditionality ⋮ A fugue on the themes of awareness logic and correspondence ⋮ Philosophy of science in the Netherlands ⋮ The atomic theory of multiplication and division of semiring ideals ⋮ The Impact of the Lambda Calculus in Logic and Computer Science ⋮ Language in action ⋮ On fork arrow logic and its expressive power ⋮ The finitely axiomatizable complete theories of non-associative arrow frames ⋮ Evidence sensitivity in weak necessity deontic modals ⋮ A uniform theory of conditionals ⋮ Logic for languages containing referentially promiscuous expressions ⋮ Open Reading and Free Choice Permission: A Perspective in Substructural Logics ⋮ Algebraization of quantifier logics, an introductory overview ⋮ Equivalences among polarity algorithms ⋮ Type logics and pregroups ⋮ The atomic theory of division of semiring ideals ⋮ TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY ⋮ The atomic theory of division and intersection of semiring ideals ⋮ Multi-Sorted Residuation ⋮ The Monotone Lambek Calculus Is NP-Complete ⋮ Pregroup grammars with letter promotions: complexity and context-freeness ⋮ Which structural rules admit cut elimination? An algebraic criterion ⋮ Functional quantification ⋮ A Complete Axiomatic System for a Process-Based Spatial Logic ⋮ Lambek calculus is NP-complete ⋮ A remark on collective quantification ⋮ NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS ⋮ A ModalWalk Through Space ⋮ Subexponentials in non-commutative linear logic ⋮ The finite model property for BCI and related systems ⋮ Amalgamation in relation algebras ⋮ Logic and Complexity in Cognitive Science ⋮ Dynamic Epistemic Logic as a Substructural Logic ⋮ Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras ⋮ Many-dimensional arrow logics ⋮ Extensions of Lambek Calculi ⋮ A Labelled Deductive System for Relational Semantics of the Lambek Calculus

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