Category theory, logic and formal linguistics: some connections, old and new

DOI10.1016/J.JAL.2014.01.001zbMATH Open1335.03002arXiv1401.6574OpenAlexW2064146547MaRDI QIDQ280832FDOQ280832

Authors:

Publication date: 10 May 2016

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

Abstract: We seize the opportunity of the publication of selected papers from the emph{Logic, categories, semantics} workshop in the emph{Journal of Applied Logic} to survey some current trends in logic, namely intuitionistic and linear type theories, that interweave categorical, geometrical and computational considerations. We thereafter present how these rich logical frameworks can model the way language conveys meaning.

Full work available at URL: https://arxiv.org/abs/1401.6574

Recommendations

• Publication:3489980
• Categorial grammar and type theory
• Closed categories and categorial grammar
• Publication:4946229
• On some connections between logic and category theory

zbMATH Keywords

category theorylogictype theoryformal linguistics

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Logic of natural languages (03B65) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30)

Cites Work

• Title not available (Why is that?)
• Untersuchungen über das logische Schliessen. I
• Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
• Constructivism in mathematics. An introduction. Volume I
• Sheaves in geometry and logic: a first introduction to topos theory
• Untersuchungen über das logische Schliessen. II
• Homotopical algebra
• A completeness theorem in modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Linear logic
• Normativity in logic
• Toposes, algebraic geometry and logic. Dalhousie University, Halifax, January 16-19, 1971
• Game Semantics in String Diagrams
• Contextual analysis of word meanings in type-theoretical semantics
• Are (linguists') propositions (topos) propositions?
• Title not available (Why is that?)
• The blind spot. Lectures on logic
• La logique des topos
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Homotopy type theory. Univalent foundations of mathematics
• Logical aspects of computational linguistics. 6th international conference, LACL 2011, Montpellier, France, June 29 -- July 1, 2011. Proceedings
• Title not available (Why is that?)
• Title not available (Why is that?)
• A formulation of the simple theory of types
• Logic and structure
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.

Cited In (10)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Semantic unification. A sheaf theoretic approach to natural language
• Towards a relational treating of language and logical systems
• A topos-based approach to building language ontologies
• Fibrational Linguistics (FibLang): Language Acquisition
• Title not available (Why is that?)
• Formal semantics and applied mathematics: an inferential account
• Types and forgetfulness in categorical linguistics and quantum mechanics
• From linguistics to deontic logic via category theory

Uses Software

• Coq

This page was built for publication: Category theory, logic and formal linguistics: some connections, old and new

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