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

&
Journal of Applied Logic 12 (1):1-13 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2014.01.001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,774

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On church's formal theory of functions and functionals: The λ-calculus: connections to higher type recursion theory, proof theory, category theory.Giuseppe Longo - 1988 - Annals of Pure and Applied Logic 40 (2):93-133.
Categoricity and ranks.Jürgen Saffe - 1984 - Journal of Symbolic Logic 49 (4):1379-1392.
Type Logics and Pregroups.Wojciech Buszkowski - 2007 - Studia Logica 87 (2-3):145-169.
Logic in Linguistics.Jens Allwood, Lars-Gunnar Andersson & Osten Dahl - 1977 - Cambridge, England: Cambridge University Press.
New Perspectives in Logic and Formal Linguistics: Proceedings of the Vth Roma Workshop.V. Michele Abrusci & Claudia Casadio - 2002
Handbook of Philosophical Logic: Volume 17.Dov M. Gabbay & Franz Guenthner (eds.) - 2014 - Dordrecht: Imprint: Springer.
Some Obeservations on the Connections Between Semiotics, Logic and Linguistics.Jerzy Pelc - 1977 - Studia Semiotyczne—English Supplement 7:159-172.
A study of algebraic logic from the point of view of category theory.Luis M. Laita - 1976 - Notre Dame Journal of Formal Logic 17 (1):89-118.
Representing Reason: Feminist Theory and Formal Logic.Val Plumwood, Carroll Guen Hart, Dorothea Olkowski, Marie-Genevieve Iselin, Lynn Hankinson Nelson, Jack Nelson, Andrea Nye & Pam Oliver (eds.) - 2002 - Rowman & Littlefield Publishers.
The categorical imperative: Category theory as a foundation for deontic logic.Clayton Peterson - 2014 - Journal of Applied Logic 12 (4):417-461.

Analytics

Added to PP
2016-06-30

Downloads
50 (#102,555)

6 months
34 (#455,253)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

The Development of Logic.William Kneale & Martha Kneale - 1962 - Oxford, England: Clarendon Press. Edited by Martha Kneale.
A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.
Lexical meaning in context: a web of words.Nicholas Asher - 2011 - New York: Cambridge University Press.
Set theory and the continuum hypothesis.Paul J. Cohen - 1966 - New York,: W. A. Benjamin.
Logic and structure.D. van Dalen - 1980 - New York: Springer Verlag.

View all 12 references / Add more references