14 found
Order:
  1.  11
    Antonio Diego. Sur les Algebres de Hilbert. With a Preface by Jean Porte. French Translation of XXXV 171 by Luisa Iturrioz. Collection de Logique Mathématique, Series A, No. 21. Gauthier-Villars, Paris, and E. Nauwelaerts, Louvain, 1966, Viii + 55 Pp. [REVIEW]C. G. McKay - 1970 - Journal of Symbolic Logic 35 (1):139.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  18
    The Decidability of Certain Intermediate Propositional Logics.C. G. Mckay - 1968 - Journal of Symbolic Logic 33 (2):258-264.
  3. A Class of Decidable Intermediate Propositional Logics.C. G. McKay - 1971 - Journal of Symbolic Logic 36 (1):127-128.
  4.  20
    A Note on The Jaśkowski Sequence.C. G. McKay - 1967 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (6):95-96.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  18
    Review: Andrzej Grzegorczyk, A Philosophically Plausible Formal Interpretation of Intuitionistic Logic. [REVIEW]C. G. McKay - 1971 - Journal of Symbolic Logic 36 (2):329-329.
  6.  3
    A Note on The Jaśkowski Sequence.C. G. McKay - 1967 - Mathematical Logic Quarterly 13 (6):95-96.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  10
    Grzegorczyk Andrzej. A Philosophically Plausible Formal Interpretation of Intuitionistic Logic. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A, Vol. 67 , Pp. 596–601; Also Indagationes Matkematicae, Vol. 26 , Pp. 596–601. [REVIEW]C. G. McKay - 1971 - Journal of Symbolic Logic 36 (2):329-329.
  8.  4
    Implicationless Wffs. In IC.C. G. McKay - 1967 - Notre Dame Journal of Formal Logic 8 (3):227-228.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  7
    Jankov V. A.. Conjunctively Indecomposable Formulas in Propositional Calculi. English Translation of XXXVII 206. Soviet Mathematics, Vol. 3 No. 1 , Pp. 17–35. [REVIEW]C. G. McKay - 1972 - Journal of Symbolic Logic 37 (1):186-186.
  10.  10
    A Consistent Propositional Logic Without Any Finite Models.C. G. McKay - 1985 - Journal of Symbolic Logic 50 (1):38-41.
  11.  6
    Review: Antonio Diego, Jean Porte, Luisa Iturrioz, Sur les Algebres de Hilbert. [REVIEW]C. G. McKay - 1970 - Journal of Symbolic Logic 35 (1):139-139.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  4
    Correction to My Paper ``Some Completeness Results for Intermediate Propositional Logics''.C. G. McKay - 1968 - Notre Dame Journal of Formal Logic 9 (4):388-388.
  13.  2
    Review: V. A. Jankov, Conjunctively Indecomposable Formulas in Propositional Calculi. [REVIEW]C. G. McKay - 1972 - Journal of Symbolic Logic 37 (1):186-186.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  1
    Some Completeness Results for Intermediate Propositional Logics.C. G. McKay - 1967 - Notre Dame Journal of Formal Logic 8 (3):191-194.