A categorical equivalence of proofs

Notre Dame Journal of Formal Logic 15 (2):177-191 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093891297

Links

PhilArchive



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

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

An addendum to my paper: "A categorical equivalence of proofs".Manfred E. Szabo - 1976 - Notre Dame Journal of Formal Logic 17 (1):78-78.
Quantum Computational Structures: Categorical Equivalence for Square Root qMV -algebras.Hector Freytes - 2010 - Studia Logica 95 (1-2):63 - 80.
An Ulm-type classification theorem for equivalence relations in Solovay model.Vladimir Kanovei - 1997 - Journal of Symbolic Logic 62 (4):1333-1351.
Uncountable theories that are categorical in a higher power.Michael Chris Laskowski - 1988 - Journal of Symbolic Logic 53 (2):512-530.
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.
Equivalence of consequence relations: an order-theoretic and categorical perspective.Nikolaos Galatos & Constantine Tsinakis - 2009 - Journal of Symbolic Logic 74 (3):780-810.
Probabilistic proofs and transferability.Kenny Easwaran - 2009 - Philosophia Mathematica 17 (3):341-362.
Identity of proofs based on normalization and generality.Kosta Došen - 2003 - Bulletin of Symbolic Logic 9 (4):477-503.
Categorical abstract algebraic logic metalogical properties.George Voutsadakis - 2003 - Studia Logica 74 (3):369 - 398.
Maximal R.e. Equivalence relations.Jeffrey S. Carroll - 1990 - Journal of Symbolic Logic 55 (3):1048-1058.

Analytics

Added to PP
2010-08-24

Downloads
21 (#737,450)

6 months
2 (#1,198,779)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Functional completeness of cartesian categories.J. Lambek - 1974 - Annals of Mathematical Logic 6 (3):259.
Bicartesian coherence.Kosta Došen & Zoran Petrić - 2002 - Studia Logica 71 (3):331 - 353.

Add more citations

References found in this work

No references found.

Add more references