Switch to: Citations

References in:

Deduction theorems for weak implicational logics

Studia Logica 41 (2-3):95 - 108 (1982)

Add references

You must login to add references.

(1 other version)The system LD.Haskell B. Curry - 1952 - Journal of Symbolic Logic 17 (1):35-42.details Download Export citation Bookmark 7 citations
(1 other version)Review: Alan Rose, Remarque Sur les Notions d'Independance et de Non-Contradiction. [REVIEW]Alonzo Church - 1951 - Journal of Symbolic Logic 16 (4):279-279.details Download Export citation Bookmark 1 citation
Positive logic and λ-constants.David Meredith - 1978 - Studia Logica 37 (3):269 - 285.details Download Export citation Bookmark 2 citations
Entailment. Vol. 1.Alan Ross Anderson & Nuel D. Belnap - 1977 - Canadian Journal of Philosophy 7 (2):405-411.details Download Export citation Bookmark 20 citations
Positive logic and lambda-constants.D. Meredith - 1978 - Studia Logica 37:269.details Download Export citation Bookmark 2 citations
Leçons de logique algébrique.Haskell B. Curry - 1952 - Paris,: Gauthier-Villars.details Download Export citation Bookmark 4 citations
W. Sierpiński. L'axiome de M. Zermelo et son róle dans la théorie des ensembles et l'analyse. Bulletin international de l'Académie des Sciences de Cracovie, Classe des sciences mathématiques et naturelles, Séie A, Sciences mathématiques, année 1918, pp. 97–152. - Wacław Sierpiński. Les exemples effectifs et l'axiome du choix. Fundamenta mathematicae, vol. 2 , pp. 112–118. - Waclaw Sierpiński. Sur les ensembles de points qu'on sait definir effectivement. Verhandlungen des Internationalen Mathematiker-Kongresses Zürich 1932, vol. 1 , pp. 280–287. [REVIEW]Alonzo Church - 1951 - Journal of Symbolic Logic 16 (3):235-235.details Download Export citation Bookmark 1 citation

1