Category theory, logic and formal linguistics: some connections, old and new
From MaRDI portal
(Redirected from Publication:280832)
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)
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.
Recommendations
Cites work
- scientific article; zbMATH DE number 5836323 (Why is no real title available?)
- scientific article; zbMATH DE number 3162889 (Why is no real title available?)
- scientific article; zbMATH DE number 5360215 (Why is no real title available?)
- scientific article; zbMATH DE number 3910392 (Why is no real title available?)
- scientific article; zbMATH DE number 3959364 (Why is no real title available?)
- scientific article; zbMATH DE number 42059 (Why is no real title available?)
- scientific article; zbMATH DE number 3521950 (Why is no real title available?)
- scientific article; zbMATH DE number 3630752 (Why is no real title available?)
- scientific article; zbMATH DE number 1302059 (Why is no real title available?)
- scientific article; zbMATH DE number 822489 (Why is no real title available?)
- scientific article; zbMATH DE number 6296859 (Why is no real title available?)
- scientific article; zbMATH DE number 3289430 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- scientific article; zbMATH DE number 3411260 (Why is no real title available?)
- A completeness theorem in modal logic
- A formulation of the simple theory of types
- Are (linguists') propositions (topos) propositions?
- Constructivism in mathematics. An introduction. Volume I
- Contextual analysis of word meanings in type-theoretical semantics
- Game Semantics in String Diagrams
- Homotopical algebra
- Homotopy type theory. Univalent foundations of mathematics
- Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
- La logique des topos
- Linear logic
- Logic and structure
- Logical aspects of computational linguistics. 6th international conference, LACL 2011, Montpellier, France, June 29 -- July 1, 2011. Proceedings
- Normativity in logic
- 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
- Sheaves in geometry and logic: a first introduction to topos theory
- The blind spot. Lectures on logic
- Toposes, algebraic geometry and logic. Dalhousie University, Halifax, January 16-19, 1971
- Untersuchungen über das logische Schliessen. I
- Untersuchungen über das logische Schliessen. II
Cited in
(10)- scientific article; zbMATH DE number 1531625 (Why is no real title available?)
- Types and forgetfulness in categorical linguistics and quantum mechanics
- Formal semantics and applied mathematics: an inferential account
- Towards a relational treating of language and logical systems
- From linguistics to deontic logic via category theory
- scientific article; zbMATH DE number 1568791 (Why is no real title available?)
- Semantic unification. A sheaf theoretic approach to natural language
- scientific article; zbMATH DE number 4162855 (Why is no real title available?)
- A topos-based approach to building language ontologies
- Fibrational Linguistics (FibLang): Language Acquisition
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)
