Category theory, logic and formal linguistics: some connections, old and new
From MaRDI portal
Publication:280832
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
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
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
