Tableau Systems for First Order Number Theory and Certain Higher Order Theories

Journal of Symbolic Logic 45 (3):636-638 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273439

Links

PhilArchive



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

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

Tableau systems for first order number theory and certain higher order theories.Sue Ann Toledo - 1975 - New York: Springer Verlag.
Review: Sue Toledo, Tableau Systems for First Order Number Theory and Certain Higher Order Theories. [REVIEW]J. I. Zucker - 1980 - Journal of Symbolic Logic 45 (3):636-638.
Toledo Sue. Tableau systems for first order number theory and certain higher order theories. Lecture notes in mathematics, vol. 447. Springer-Verlag, Berlin, Heidelberg, and New York, 1975, iii + 339 pp. [REVIEW]J. I. Zucker - 1980 - Journal of Symbolic Logic 45 (3):636-638.
The HOROR Theory of Phenomenal Consciousness.Richard Brown - 2015 - Philosophical Studies 172 (7):1783-1794.
A dilemma for higher-order theories of consciousness.Isabel Gois - 2010 - Philosophia 38 (1):143-156.
Higher-order consciousness and phenomenal space: Reply to Meehan.Barry F. Dainton - 2004 - PSYCHE: An Interdisciplinary Journal of Research On Consciousness 10.
Higher-order automated theorem proving.Michael Kohlhase - unknown
Hop over FOR, HOT theory.Peter Carruthers - 2004 - In Rocco J. Gennaro (ed.), Higher-Order Theories of Consciousness: An Anthology. John Benjamins.
Prefrontal lesion evidence against higher-order theories of consciousness.Benjamin Kozuch - 2014 - Philosophical Studies 167 (3):721-746.
Higher-order thought and naturalist accounts of consciousness.Jurgen Schroder - 2001 - Journal of Consciousness Studies 8 (11):27-46.
Higher-order global states : An alternative higher-order model of consciousness.Robert Van Gulick - 2004 - In Rocco J. Gennaro (ed.), Higher-Order Theories of Consciousness: An Anthology. John Benjamins.
Varieties of higher-order theory.David Rosenthal - 2004 - In Rocco J. Gennaro (ed.), Higher-Order Theories of Consciousness: An Anthology. John Benjamins.
Quotational higher-order thought theory.Sam Coleman - 2015 - Philosophical Studies 172 (10):2705-2733.
Quotational higher-order thought theory.Kevin Timpe - 2015 - Philosophical Studies 172 (10):2705-2733.
Animals, Phenomenal Consciousness, and Higher-Order Theories of Mind.Beth Seacord - 2011 - Philo 14 (2):201-222.

Analytics

Added to PP
2017-02-21

Downloads
4 (#1,556,099)

6 months
3 (#902,269)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Infinitary tableau for semantic truth.Toby Meadows - 2015 - Review of Symbolic Logic 8 (2):207-235.
Relevant analytic tableaux.Michael A. McRobbie & Nuel D. Belnap - 1979 - Studia Logica 38 (2):187 - 200.

Add more citations

References found in this work

No references found.

Add more references