C. G. McKay

Publication Activity (10 Years)

Years Active: 1967-1985
Publications (10 Years): 0

Publications

C. G. McKay
A Consistent Propositional Logic Without any Finite Models. J. Symb. Log. 50 (1) (1985)
C. G. McKay
A Class of Decidable Intermediate Propositional Logics. J. Symb. Log. 36 (1) (1971)
C. G. McKay
Correction to my paper "Some completeness results for intermediate propositional logics". Notre Dame J. Formal Log. 9 (4) (1968)
C. G. McKay
The Decidability of Certain Intermediate Propositional Logics. J. Symb. Log. 33 (2) (1968)
C. G. McKay
Some completeness results for intermediate propositional logics. Notre Dame J. Formal Log. 8 (3) (1967)
C. G. McKay
Implicationless wffs. in IC. Notre Dame J. Formal Log. 8 (3) (1967)