Switch to: Citations

References in:

Annual meeting of the association for symbolic logic, Los Angeles, 1989

Richard A. Shore

Journal of Symbolic Logic 55 (1):372-386 (1990)

Add references

You must login to add references.

The Liar.J. Barwise & J. Etchemendy - 1990 - Studia Logica 49 (3):426-427.details Liar Paradox in Logic and Philosophy of Logic Logic and Philosophy of Logic Export citation Bookmark 101 citations
Which set existence axioms are needed to prove the separable Hahn-Banach theorem?Douglas K. Brown & Stephen G. Simpson - 1986 - Annals of Pure and Applied Logic 31:123-144.details Logic and Philosophy of Logic Model Theory in Logic and Philosophy of Logic Direct download (4 more) Export citation Bookmark 34 citations
On the scheme of induction for bounded arithmetic formulas.A. J. Wilkie & J. B. Paris - 1987 - Annals of Pure and Applied Logic 35 (C):261-302.details Logic and Philosophy of Logic Model Theory in Logic and Philosophy of Logic Proof Theory in Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 96 citations
Bounded arithmetic and truth definition.Gaisi Takeuti - 1988 - Annals of Pure and Applied Logic 39 (1):75-104.details Logic and Philosophy of Logic Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic Proof Theory in Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 10 citations
Definierbare Funktionen imλ-Kalkül mit Typen.Helmut Schwichtenberg - 1975 - Archive for Mathematical Logic 17 (3-4):113-114.details No categories Direct download Export citation Bookmark 6 citations
Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.details Logic and Philosophy of Logic Direct download Export citation Bookmark 595 citations
Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.details Logical Consequence and Entailment in Logic and Philosophy of Logic Proof Theory in Logic and Philosophy of Logic Direct download Export citation Bookmark 170 citations
Menas' conjecture and generic ultrapowers.Yo Matsubara - 1987 - Annals of Pure and Applied Logic 36:225-234.details We apply the technique of generic ultrapowers to study the splitting problem of stationary subsets of P K λ . We present some conditions which guarantee the splitting of stationary subsets of P K λ. Logic and Philosophy of Logic Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic Model Theory in Logic and Philosophy of Logic Direct download (4 more) Export citation Bookmark 5 citations
Truth of a proposition, evidence of a judgement, validity of a proof.Per Martin-Löf - 1987 - Synthese 73 (3):407 - 420.details Mathematical Proof in Philosophy of Mathematics Truth Bearers in Philosophy of Language Truth, Misc in Philosophy of Language Direct download (4 more) Export citation Bookmark 57 citations
On countable locally described structures.Berthold J. Maier - 1987 - Annals of Pure and Applied Logic 35 (C):205-246.details Logic and Philosophy of Logic Model Theory in Logic and Philosophy of Logic Direct download (4 more) Export citation Bookmark 1 citation
A Topological Model for Intuitionistic Analysis with Kripke's Scheme.M. D. Krol - 1978 - Mathematical Logic Quarterly 24 (25‐30):427-436.details Intuitionistic Logic in Logic and Philosophy of Logic Direct download Export citation Bookmark 10 citations
A Topological Model for Intuitionistic Analysis with Kripke's Scheme.M. D. Krol - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):427-436.details Intuitionistic Logic in Logic and Philosophy of Logic Direct download Export citation Bookmark 11 citations
The Logic of Scientific Discovery.Karl R. Popper - 1959 - Les Etudes Philosophiques 14 (3):383-383.details Continental Philosophy Export citation Bookmark 596 citations

1