2018
Cantorian Set Theory.
Bull. Symb. Log., 2018

2006
A Modest Logic of Plurals.
J. Philos. Log., 2006

2004
The Theory of Descriptions.
Proceedings of the Studies in the philosophy of logic and knowledge., 2004

1979
Theorem on directed graphs, applicable to logic.
J. Graph Theory, 1979

1973
What is a syllogism?
J. Philos. Log., 1973

1971
Deducibility and Many-Valuedness.
J. Symb. Log., 1971

1963
Relative Necessity.
J. Symb. Log., 1963

1962
The Independence of Connectives.
J. Symb. Log., 1962

Syllogism and Quantification.
J. Symb. Log., 1962

1961
On Łukasiewicz's Ł-modal system.
Notre Dame J. Formal Log., 1961