An addendum to my paper: "A categorical equivalence of proofs"

Notre Dame Journal of Formal Logic 17 (1):78-78 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093887426

Links

PhilArchive



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

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

A categorical equivalence of proofs.Manfred E. Szabo - 1974 - Notre Dame Journal of Formal Logic 15 (2):177-191.
The equivalence myth of quntum mechanics.A. F. - 1999 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 30 (4):543-545.
Quantum Computational Structures: Categorical Equivalence for Square Root qMV -algebras.Hector Freytes - 2010 - Studia Logica 95 (1-2):63 - 80.
Uncountable theories that are categorical in a higher power.Michael Chris Laskowski - 1988 - Journal of Symbolic Logic 53 (2):512-530.
The Equivalence Myth of Quntum Mechanics (Addendum).F. A. Muller - 1999 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 30 (4):543-545.
An Ulm-type classification theorem for equivalence relations in Solovay model.Vladimir Kanovei - 1997 - Journal of Symbolic Logic 62 (4):1333-1351.
Causal powers and categorical properties.Brian Ellis - 2009 - In Anna Marmodoro (ed.), The Metaphysics of Powers: Their Grounding and Their Manifestations. Routledge.
Normativity.Judith Jarvis Thomson - 2008 - Open Court. Edited by Russ Shafer-Landau.
? 0 N -equivalence relations.Andrea Sorbi - 1982 - Studia Logica 41 (4):351-358.
The power of logic.Frances Howard-Snyder - 2012 - New York: McGraw-Hill. Edited by Daniel Howard-Snyder & Ryan Wasserman.
The Development of Categorical Logic.John L. Bell - unknown
Categorical abstract algebraic logic: Equivalent institutions.George Voutsadakis - 2003 - Studia Logica 74 (1-2):275 - 311.
M-Zeroids: Structure and Categorical Equivalence.Joshua B. Palmatier & Fernando Guzman - 2012 - Studia Logica 100 (5):975-1000.
On the equivalence of proofs involving identity.Glen Helman - 1987 - Notre Dame Journal of Formal Logic 28 (3):297-321.

Analytics

Added to PP
2010-08-24

Downloads
22 (#692,982)

6 months
6 (#512,819)

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