Predicative Logics

Journal of Symbolic Logic 54 (3):1092-1094 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274770

Links

PhilArchive



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

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: Allen Hazen, Predicative Logics. [REVIEW]G. Kreisel - 1989 - Journal of Symbolic Logic 54 (3):1092-1094.
Russell, Gödel and Skolem: how much of arithmetic is predicative.Jen M. Davoren & Allen P. Hazen - 1991 - Journal of Symbolic Logic 56:1108-1109.
Normal predicative logics with graded modalities.Francesco Caro - 1988 - Studia Logica 47 (1):11 - 22.
Russell's theory of descriptions vs. the predicative analysis: A reply to Graff.Berit Brogaard - unknown
Justification logics, logics of knowledge, and conservativity.Melvin Fitting - unknown
Greek Ontology and the 'Is' of Truth.Mohan Matthen - 1983 - Phronesis 28 (2):113 - 135.
Advances in the ŁΠ and logics.Petr Cintula - 2003 - Archive for Mathematical Logic 42 (5):449-468.
Explicit logics of knowledge and conservativity.Melvin Fitting - unknown
Relationships between constructive, predicative and classical systems of analysis.Solomon Feferman - unknown
Passivity as pre-predicative constitution in Husserl: Structure and discussion.Rolf Kühn & Michael Staudigl - 2002 - Analecta Husserliana 80:119-133.
The Finitistic Consistency of Heck’s Predicative Fregean System.Luís Cruz-Filipe & Fernando Ferreira - 2015 - Notre Dame Journal of Formal Logic 56 (1):61-79.
Logics without the contraction rule and residuated lattices.Hiroakira Ono - 2011 - Australasian Journal of Logic 8:50-81.
Combining Algebraizable Logics.A. Jánossy, Á Kurucz & Á. E. Eiben - 1996 - Notre Dame Journal of Formal Logic 37 (2):366-380.
Aspects of predicative algebraic set theory I: Exact Completion.Benno van den Berg & Ieke Moerdijk - 2008 - Annals of Pure and Applied Logic 156 (1):123-159.
Paradox and Potential Infinity.Charles McCarty - 2013 - Journal of Philosophical Logic 42 (1):195-219.

Analytics

Added to PP
2015-02-05

Downloads
39 (#388,687)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Definitions.Anil Gupta - 2008 - Stanford Encyclopedia of Philosophy.
Tarski on “essentially richer” metalanguages.David DeVidi & Graham Solomon - 1999 - Journal of Philosophical Logic 28 (1):1-28.
The seven virtues of simple type theory.William M. Farmer - 2008 - Journal of Applied Logic 6 (3):267-286.
The Fact Semantics for Ramified Type Theory and the Axiom of Reducibility.Edwin D. Mares - 2007 - Notre Dame Journal of Formal Logic 48 (2):237-251.
The Axiom of Reducibility.Russell Wahl - 2011 - Russell: The Journal of Bertrand Russell Studies 31 (1).

View all 12 citations / Add more citations

References found in this work

No references found.

Add more references