Switch to: Citations

References in:

Implication and analysis in classical frege structures

Robert C. Flagg & John Myhill

Annals of Pure and Applied Logic 34 (1):33-85 (1987)

Add references

You must login to add references.

Frege Structures and the notions of proposition, truth and set.Peter Aczel - 1980 - Journal of Symbolic Logic 51 (1):244-246.details Truth Bearers in Philosophy of Language Direct download Export citation Bookmark 53 citations
The λ-calculus is ω-incomplete.G. D. Plotkin - 1974 - Journal of Symbolic Logic 39 (2):313-317.details Logic and Philosophy of Logic Direct download (6 more) Export citation Bookmark 2 citations
Constructive definition of certain analytic sets of numbers.P. Lorenzen & J. Myhill - 1959 - Journal of Symbolic Logic 24 (1):37-49.details Logic and Philosophy of Logic Direct download (7 more) Export citation Bookmark 6 citations
The Heine-borel theorem in extended basic logic.Frederic B. Fitch - 1949 - Journal of Symbolic Logic 14 (1):9-15.details Logic and Philosophy of Logic Logics in Logic and Philosophy of Logic Direct download (7 more) Export citation Bookmark 5 citations
A basic logic.Frederic B. Fitch - 1942 - Journal of Symbolic Logic 7 (3):105-114.details Logic and Philosophy of Logic Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic Nonclassical Logics in Logic and Philosophy of Logic Direct download (7 more) Export citation Bookmark 14 citations
A demonstrably consistent mathematics—Part I.Frederic B. Fitch - 1950 - Journal of Symbolic Logic 15 (1):17-24.details Logic and Philosophy of Logic Direct download (10 more) Export citation Bookmark 5 citations
A demonstrably consistent mathematics—Part II.Frederic B. Fitch - 1951 - Journal of Symbolic Logic 16 (2):121-124.details Logic and Philosophy of Logic Direct download (10 more) Export citation Bookmark 3 citations
A Demonstrably Consistent Mathematics.Frederic B. Fitch - 1951 - Journal of Symbolic Logic 16 (4):268-269.details Logic and Philosophy of Logic Direct download (2 more) Export citation Bookmark 1 citation
An extension of basic logic.Frederic B. Fitch - 1948 - Journal of Symbolic Logic 13 (2):95-106.details Logic and Philosophy of Logic Proof Theory in Logic and Philosophy of Logic Direct download (8 more) Export citation Bookmark 16 citations
Levels of implication.John Myhill - 1975 - In Alan Ross Anderson, Ruth Barcan Marcus, R. M. Martin & Frederic B. Fitch (eds.), The Logical Enterprise. Yale University Press. pp. 179--185.details Liar Paradox in Logic and Philosophy of Logic Export citation Bookmark 12 citations

1