IKP and friends

Journal of Symbolic Logic 67 (4):1295-1322 (2002)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1190150286

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,388

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

Stanley Robert. An extended procedure in quantificational logic.Wilhelm Ackermann - 1956 - Journal of Symbolic Logic 21 (2):197-197.
Stanley Robert L.. Simplified foundations for mathematical logic.Steven Orey - 1956 - Journal of Symbolic Logic 21 (3):322-323.
Review: Robert R. Christian, Introduction to Logic and Sets. [REVIEW]Alfons Borger - 1968 - Journal of Symbolic Logic 33 (4):631-631.
Review: Robert Goldblatt, Topoi. The Categorial Analysis of Logic. [REVIEW]Philip J. Scott - 1986 - Journal of Symbolic Logic 51 (4):1077-1078.
McNaughton Robert. A theorem about infinite-valued sentential logic.H. E. Vaughan - 1951 - Journal of Symbolic Logic 16 (3):227-228.
Robert E. Clay. A simple proof of functional completeness in many-valued logics based on Łukasiewicz's C and N. Notre Dame journal of formal logic, vol. 3 , pp. 114–117. - Robert E. Clay. Note on Stupecki T-functions. The journal of symbolic logic, vol. 27 no. 1 , pp. 53–54. [REVIEW]Arto Salomaa - 1965 - Journal of Symbolic Logic 30 (1):105.
Review: Robert Abernathy, The Problem of Linguistic Equivalence. [REVIEW]L. Jonathan Cohen - 1966 - Journal of Symbolic Logic 31 (4):668-668.
Review: Robert Brown, John Watling, Counterfactual Conditionals; Robert Brown, John Watling, Hypothetical Statements and Phenomenalism. [REVIEW]Alan Ross Anderson - 1954 - Journal of Symbolic Logic 19 (1):70-71.

Analytics

Added to PP
2009-01-28

Downloads
58 (#385,307)

6 months
15 (#168,777)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Forcing in proof theory.Jeremy Avigad - 2004 - Bulletin of Symbolic Logic 10 (3):305-333.
Logics of intuitionistic Kripke-Platek set theory.Rosalie Iemhoff & Robert Passmann - 2021 - Annals of Pure and Applied Logic 172 (10):103014.
From the weak to the strong existence property.Michael Rathjen - 2012 - Annals of Pure and Applied Logic 163 (10):1400-1418.

Add more citations

References found in this work

Set Theory.Thomas Jech - 1999 - Studia Logica 63 (2):300-300.
Multiple Forcing.T. Jech - 1989 - Journal of Symbolic Logic 54 (3):1112-1113.
Extending gödel's negative interpretation to ZF.William C. Powell - 1975 - Journal of Symbolic Logic 40 (2):221-229.
[Omnibus Review].Robert Lubarsky - 1989 - Journal of Symbolic Logic 54 (3):1109-1111.

Add more references