In the Light of Logic

Bulletin of Symbolic Logic 7 (2):270-277 (2001)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2687778

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 of S. Feferman's in the light of logic. [REVIEW]Andrew Arana - 2005 - Mathematical Intelligencer 27 (4).
Solomon Feferman, in the light of logic.G. Hellman - 2001 - Philosophia Mathematica 9 (2):231-237.
Articles in In the light of logic, by S. Feferman.G. A. Antonelli - 2001 - Bulletin of Symbolic Logic 7 (2):270-276.
REVIEWS-Articles in In the light of logic.S. Feferman & G. Aldo Antonelli - 2001 - Bulletin of Symbolic Logic 7 (2):270-276.
In the Light of Logic.Solomon Feferman - 1998 - New York and Oxford: Oxford University Press.
An analysis of exponentials based on extended sequents.S. Guerrini, S. Martini & A. Masini - 1998 - Logic Journal of the IGPL 6 (5):735-754.
Alfred Tarski, Life and Logic.Anita Burdman Feferman & Solomon Feferman - 2005 - Bulletin of Symbolic Logic 11 (4):535-540.
FEFERMAN, S.-In the Light of Logic.D. Over - 2000 - Philosophical Books 41 (2):119-120.
Book Reviews: Anita Burdman Feferman and Solomon Feferman, "Alfred Tarski: Life and Logic", Cambridge University Press, Cambridge.Walter Carnielli - 2006 - Logic and Logical Philosophy 15 (1):91-96.
Light affine set theory: A naive set theory of polynomial time.Kazushige Terui - 2004 - Studia Logica 77 (1):9 - 40.
Review: Solomon Feferman, Foundational Ways; Solomon Feferman, Working Foundations. [REVIEW]Maria Dalla Chiara - 1992 - Journal of Symbolic Logic 57 (4):1478-1479.
Intuitionistic Epistemic Logic, Kripke Models and Fitch’s Paradox.Carlo Proietti - 2012 - Journal of Philosophical Logic 41 (5):877-900.
Review: Solomon Feferman, Foundational Ways; Solomon Feferman, Working Foundations. [REVIEW]Maria Luisa Dalla Chiara - 1992 - Journal of Symbolic Logic 57 (4):1478-1479.
Light dialectica revisited.Mircea-Dan Hernest & Trifon Trifonov - 2010 - Annals of Pure and Applied Logic 161 (11):1379-1389.
From light logics to type assignments: a case study.Marco Gaboardi & Simona Della Rocca - 2009 - Logic Journal of the IGPL 17 (5):499-530.

Analytics

Added to PP
2017-02-22

Downloads
16 (#855,572)

6 months
3 (#902,269)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

G. Aldo Antonelli
University of California, Davis

Citations of this work

Arithmetical Reflection and the Provability of Soundness.Walter Dean - 2015 - Philosophia Mathematica 23 (1):31-64.

View all 30 citations / Add more citations

References found in this work

No references found.

Add more references