Theory of Formal Systems

Journal of Symbolic Logic 30 (1):88-90 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270586

Links

PhilArchive



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

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: Raymond M. Smullyan, Theory of Formal Systems. [REVIEW]Marian Boykan Pour-El - 1965 - Journal of Symbolic Logic 30 (1):88-90.
A grammar systems approach to natural language grammar.M. Dolores Jiménez López - 2006 - Linguistics and Philosophy 29 (4):419 - 454.
Commentary: Why I Am Not a Dynamicist.Matthew Botvinick - 2012 - Topics in Cognitive Science 4 (1):78-83.
A systems theoretical formal logic for category theory.Carlos Pedro dos Santos Gonçalves & Maria Odete Madeira - unknown
The purpose and place of formal systems in the development of science.Bruce Edmonds - manuscript
Universalism and Parametric Systems Theory.Arnold Tsofnas & Edward Demenchonok - 2006 - Dialogue and Universalism 16 (11/12):35-55.
Elementary Formal Systems.Raymond M. Smullyan - 1969 - Journal of Symbolic Logic 34 (1):117-117.
Concept calculus: Much better than.Harvey M. Friedman - unknown
Two approaches to developing expert systems: A consideration of formal and semi-formal domains. [REVIEW]Edgar A. Whitley - 1991 - AI and Society 5 (2):110-127.
Presenting the formal theory of hierarchical complexity.Michael Lamport Commons & Alexander Pekker - 2008 - World Futures 64 (5-7):375 – 382.
Review: Raymond M. Smullyan, Elementary Formal Systems. [REVIEW]Ann S. Ferebee - 1969 - Journal of Symbolic Logic 34 (1):117-117.
Monadic Elementary Formal Systems.Raymond M. Smullyan - 1961 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (6):81-83.
Is semantics formal?Mark Schroeder - manuscript
On the theory of inconsistent formal systems.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.
Erratum: ``On the theory of inconsistent formal systems''.Newton C. A. da Costa - 1975 - Notre Dame Journal of Formal Logic 16 (4):608-608.

Analytics

Added to PP
2015-02-05

Downloads
40 (#387,619)

6 months
9 (#298,039)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Limiting recursion.E. Mark Gold - 1965 - Journal of Symbolic Logic 30 (1):28-48.
Notes on Formal Theories of Truth.Andrea Cantini - 1989 - Zeitshrift für Mathematische Logik Und Grundlagen der Mathematik 35 (1):97--130.
Notes on Formal Theories of Truth.Andrea Cantini - 1989 - Mathematical Logic Quarterly 35 (2):97-130.

View all 52 citations / Add more citations

References found in this work

No references found.

Add more references