Intensional Equality in Categories With Structure and Coherence Problems

&
Mathematical Logic Quarterly 34 (5):421-432 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19880340506

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

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

Equality of proofs for linear equality.Kosta Došen & Zoran Petrić - 2008 - Archive for Mathematical Logic 47 (6):549-565.
Bicartesian coherence.Kosta Došen & Zoran Petrić - 2002 - Studia Logica 71 (3):331 - 353.
Coherence in cartesian closed categories and the generality of proofs.M. E. Szabo - 1989 - Studia Logica 48 (3):285 - 297.
A point of reference.Barry Richards - 1974 - Synthese 28 (3-4):361 - 454.
Coherence in substructural categories.Zoran Petrić - 2002 - Studia Logica 70 (2):271 - 296.
The categories and the principle of coherence: Whitehead's theory of categories in historical perspective.Abraham Zvie Bar-on - 1987 - Hingham, MA, USA: Distributors for the USA and Canada, Kluwer Academic. Edited by Abraham Zvie Bar-On.
Characterization classes defined without equality.R. Elgueta - 1997 - Studia Logica 58 (3):357-394.
An interpretation of martin‐löf's constructive theory of types in elementary topos theory.Anne Preller - 1992 - Mathematical Logic Quarterly 38 (1):213-240.
Technical flaws in the coherence theory.Wayne A. Davis & John W. Bender - 1989 - Synthese 79 (2):257 - 278.
Causation, Association, and Confirmation.Gregory Wheeler & Richard Scheines - 2010 - In Stephan Hartmann, Marcel Weber, Wenceslao Gonzalez, Dennis Dieks & Thomas Uebe (eds.), Explanation, Prediction, and Confirmation: New Trends and Old Ones Reconsidered. Springer. pp. 37--51.
Intensional verbs and quantifiers.Friederike Moltmann - 1997 - Natural Language Semantics 5 (1):1-52.
Human culture and science: Equality and inequality as foundations of scientific thought. [REVIEW]Bert Mosselmans & Ernest Mathijs - 2000 - Foundations of Science 5 (3):339-378.
Content, intention, and explanation.David R. Hilbert - manuscript
Associativity as Commutativity.Kosta Dǒsen & Zoran Petrić - 2006 - Journal of Symbolic Logic 71 (1):217 - 226.

Analytics

Added to PP
2013-12-01

Downloads
9 (#1,214,023)

6 months
2 (#1,244,653)

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