Coherence in category theory and the Church-Rosser property

Notre Dame Journal of Formal Logic 33 (1):140-143 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

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

Through your library

Similar books and articles

Remarks on the church-Rosser property.E. G. K. López-Escobar - 1990 - Journal of Symbolic Logic 55 (1):106-112.
The church-Rosser property in dual combinatory logic.Katalin Bimbó - 2003 - Journal of Symbolic Logic 68 (1):132-152.
A corrective to Bovens and Hartmann’s measure of coherence.Wouter Meijs - 2007 - Philosophical Studies 133 (2):151 - 180.
The Church-Rosser Property in Symmetric Combinatory Logic.Katalin Bimbó - 2005 - Journal of Symbolic Logic 70 (2):536 - 556.
(Math, science, ?).M. Kary - 2009 - Axiomathes 19 (3):61-86.
Bicartesian coherence.Kosta Došen & Zoran Petrić - 2002 - Studia Logica 71 (3):331 - 353.
What is conceptual glue?Eric Margolis - 1999 - Minds and Machines 9 (2):241-255.
A paraconsistent theory of belief revision.Edwin D. Mares - 2002 - Erkenntnis 56 (2):229 - 246.

Analytics

Added to PP
2010-08-24

Downloads
27 (#504,088)

6 months
1 (#1,027,696)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references