The Relation of Equality in Deductive Systems

Journal of Symbolic Logic 14 (2):130-130 (1949)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266525

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,923

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

Review: A. A. Fraenkel, The Relation of Equality in Deductive Systems. [REVIEW]W. V. Quine - 1949 - Journal of Symbolic Logic 14 (2):130-130.
A Representational Approach to Reduction in Dynamical Systems.Marco Giunti - 2014 - Erkenntnis 79 (4):943-968.
Categorical abstract algebraic logic: The criterion for deductive equivalence.George Voutsadakis - 2003 - Mathematical Logic Quarterly 49 (4):347-352.
Beyond Rasiowan Systems: Unital Deductive Systems.Alexei Y. Muravitsky - 2014 - Logica Universalis 8 (1):83-102.
Algebraic semantics for deductive systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.
An Interrogative Model of Inquiry.Stephen Raymond Harris - 1990 - Dissertation, The Florida State University
Leibniz-linked Pairs of Deductive Systems.Josep Maria Font & Ramon Jansana - 2011 - Studia Logica 99 (1-3):171-202.
Fully Fregean logics.Sergei Babyonyshev - 2003 - Reports on Mathematical Logic:59-77.
New types of hyper MV-deductive systems in hyper MV-algebras.Young Bae Jun, Min Su Kang & Hee Sik Kim - 2010 - Mathematical Logic Quarterly 56 (4):400-405.
Equality of proofs for linear equality.Kosta Došen & Zoran Petrić - 2008 - Archive for Mathematical Logic 47 (6):549-565.
An order-theoretic analysis of interpretations among propositional deductive systems.Ciro Russo - 2013 - Annals of Pure and Applied Logic 164 (2):112-130.
Categorical Abstract Algebraic Logic: Truth-Equational $pi$-Institutions.George Voutsadakis - 2015 - Notre Dame Journal of Formal Logic 56 (2):351-378.
On two fragments with negation and without implication of the logic of residuated lattices.Félix Bou, Àngel García-Cerdaña & Ventura Verdú - 2006 - Archive for Mathematical Logic 45 (5):615-647.
How to Value Equality.Jeremy Moss - 2015 - Philosophy Compass 10 (3):187-196.
Direct Proofs of Lindenbaum Conditionals.René Gazzari - 2014 - Logica Universalis 8 (3-4):321-343.

Analytics

Added to PP
2015-02-05

Downloads
7 (#1,409,222)

6 months
1 (#1,511,647)

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