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

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

Author name not available (Why is that?)

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

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?)
• 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?)
• 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?)
• 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
• 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?
• The Blind Spot
• La logique des topos
• 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
• 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 (2)

• Title not available (Why is that?)
• Title not available (Why is that?)

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)