A Modest Logic of Plurals.
J. Philos. Log., 2006
The Theory of Descriptions.
Proceedings of the Studies in the philosophy of logic and knowledge., 2004
Theorem on directed graphs, applicable to logic.
J. Graph Theory, 1979
Deducibility and Many-Valuedness.
J. Symb. Log., 1971
The Independence of Connectives.
J. Symb. Log., 1962
Syllogism and Quantification.
J. Symb. Log., 1962
On Łukasiewicz's Ł-modal system.
Notre Dame J. Formal Log., 1961