Switch to: Citations

References in:

A free IPC is a natural logic: Strong completeness for some intuitionistic free logics

Topoi 1 (1-2):30-43 (1982)

Add references

You must login to add references.

Logics without existence assumptions.Rolf Schock - 1968 - Stockholm,: Almqvist & Wiksell.details Nonclassical Logics in Logic and Philosophy of Logic Philosophy of Mathematics Direct download (2 more) Export citation Bookmark 17 citations
The Completeness of Free Logic.B. C. van Fraassen - 1966 - Mathematical Logic Quarterly 12 (1):219-234.details Mathematical Logic in Philosophy of Mathematics Direct download Export citation Bookmark 18 citations
Singular terms, truth-value gaps, and free logic.Bas C. van Fraassen - 1966 - Journal of Philosophy 63 (17):481-495.details Empty Names in Philosophy of Language Liar Paradox in Logic and Philosophy of Logic Presupposition in Philosophy of Language Singular Terms in Philosophy of Language Supervaluationism in Philosophy of Language $9.90 used (collection) View on Amazon.com Direct download (5 more) Export citation Bookmark 225 citations
On the strong semantical completeness of the intuitionistic predicate calculus.Richmond H. Thomason - 1968 - Journal of Symbolic Logic 33 (1):1-7.details Intuitionistic Logic in Logic and Philosophy of Logic Logic and Philosophy of Logic Nonclassical Logics in Logic and Philosophy of Logic Direct download (7 more) Export citation Bookmark 25 citations
Interpretations of Kleene's metamathematical predicate γ∣a in intuitionistic arithmetic.T. Thacher Robinson - 1965 - Journal of Symbolic Logic 30 (2):140-154.details Intuitionistic Logic in Logic and Philosophy of Logic Logic and Philosophy of Logic Direct download (8 more) Export citation Bookmark 1 citation
Brouwer's constructivism.Carl J. Posy - 1974 - Synthese 27 (1-2):125 - 159.details Intuitionism and Constructivism in Philosophy of Mathematics Direct download (4 more) Export citation Bookmark 10 citations
Notes on e! III: A theory of descriptions.Karel Lambert - 1962 - Philosophical Studies 13 (4):51--59.details Descriptions in Philosophy of Language Direct download (3 more) Export citation Bookmark 12 citations
Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms.S. C. Kleene - 1963 - Journal of Symbolic Logic 28 (2):166-167.details Logic and Philosophy of Logic Direct download Export citation Bookmark 3 citations
Disjunction and existence under implication in elementary intuitionistic formalisms.S. C. Kleene - 1962 - Journal of Symbolic Logic 27 (1):11-18.details Intuitionistic Logic in Logic and Philosophy of Logic Logic and Philosophy of Logic Nonclassical Logics in Logic and Philosophy of Logic Direct download (8 more) Export citation Bookmark 22 citations
Predication and singular terms.Richard E. Grandy - 1977 - Noûs 11 (2):163-167.details Singular Terms in Philosophy of Language Direct download (5 more) Export citation Bookmark 2 citations
Truth and singular terms.Tyler Burge - 1974 - Noûs 8 (4):309-325.details Empty Names in Philosophy of Language Singular Terms in Philosophy of Language Direct download (5 more) Export citation Bookmark 71 citations

1