Journal of Symbolic Logic 33 (2):289-290 (1968)

Authors
William W. Tait
University of Chicago
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2269888
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 61,089
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Neo-Logicism and Its Logic.Panu Raatikainen - 2020 - History and Philosophy of Logic 41 (1):82-95.
Cut-Elimination for Quantified Conditional Logic.Christoph Benzmüller - 2017 - Journal of Philosophical Logic 46 (3):333-353.
Quine and the Linguistic Doctrine of Logical Truth.Ken Akiba - 1995 - Philosophical Studies 78 (3):237 - 256.
Burali-Forti as a Purely Logical Paradox.Graham Leach-Krouse - 2019 - Journal of Philosophical Logic 48 (5):885-908.

Add more citations

Similar books and articles

A Proof of Gentzen's Hauptsatz Without Multicut.Jan von Plato - 2001 - Archive for Mathematical Logic 40 (1):9-18.
The Hauptsatz for Stratified Comprehension: A Semantic Proof.Marcel Crabbé - 1994 - Mathematical Logic Quarterly 40 (4):481-489.
Predicate Logics on Display.Heinrich Wansing - 1999 - Studia Logica 62 (1):49-75.
A Cut-Elimination Proof in Intuitionistic Predicate Logic.Mirjana Borisavljević - 1999 - Annals of Pure and Applied Logic 99 (1-3):105-136.
Resolution Calculus for the First Order Linear Logic.Grigori Mints - 1993 - Journal of Logic, Language and Information 2 (1):59-83.
An Approach to Infinitary Temporal Proof Theory.Stefano Baratella & Andrea Masini - 2004 - Archive for Mathematical Logic 43 (8):965-990.
A Generalization of the Gentzen Hauptsatz.Luis E. Sanchis - 1971 - Notre Dame Journal of Formal Logic 12 (4):499-504.
On a Consistent Subsystem of Frege's Grundgesetze.John P. Burgess - 1998 - Notre Dame Journal of Formal Logic 39 (2):274-278.

Analytics

Added to PP index
2015-02-05

Total views
4 ( #1,229,759 of 2,440,210 )

Recent downloads (6 months)
1 ( #432,124 of 2,440,210 )

How can I increase my downloads?

Downloads

My notes