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

DOI10.1016/j.jal.2014.01.001zbMath1335.03002arXiv1401.6574OpenAlexW2064146547MaRDI QIDQ280832

No author found.

Publication date: 10 May 2016

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

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) Logic of natural languages (03B65) Categorical logic, topoi (03G30) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Uses Software

• Coq

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logical aspects of computational linguistics. 6th international conference, LACL 2011, Montpellier, France, June 29 -- July 1, 2011. Proceedings
• Linear logic
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• Constructivism in mathematics. An introduction. Volume I
• Sheaves in geometry and logic: a first introduction to topos theory
• Untersuchungen über das logische Schliessen. I
• Untersuchungen über das logische Schliessen. II
• Homotopical algebra
• Toposes, algebraic geometry and logic. Dalhousie University, Halifax, January 16-19, 1971
• 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
• Game Semantics in String Diagrams
• Contextual Analysis of Word Meanings in Type-Theoretical Semantics
• Are (Linguists’) Propositions (Topos) Propositions?
• The Blind Spot
• A completeness theorem in modal logic
• La logique des topos
• Normativity in Logic
• Homotopy Type Theory: Univalent Foundations of Mathematics
• A formulation of the simple theory of types
• Logic and structure

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