J. T. Canty

From MaRDI portal
Person:2395745



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Elementary logic without referential quantification
Notre Dame Journal of Formal Logic
1971-01-01Paper
Substitutional quantification and Leśniewskian quantifiers
Theoria
1970-01-01Paper
The numerical epsilon
Notre Dame Journal of Formal Logic
1969-01-01Paper
Lesniewski's terminological explanations
Notre Dame Journal of Formal Logic
1969-01-01Paper
scientific article; zbMATH DE number 3315178 (Why is no real title available?)1969-01-01Paper
On symbolizing singulary S5 functions
Notre Dame Journal of Formal Logic
1968-01-01Paper
scientific article; zbMATH DE number 3269011 (Why is no real title available?)1966-01-01Paper
A note on the axiomatization of Rubin's system
Notre Dame Journal of Formal Logic
1965-01-01Paper
Systems classically axiomatized and properly contained in Lewi's S 3
Notre Dame Journal of Formal Logic
1965-01-01Paper
A natural deduction system for modal logic
Notre Dame Journal of Formal Logic
1964-01-01Paper
Completeness of Copi's method of deduction
Notre Dame Journal of Formal Logic
1963-01-01Paper


Research outcomes over time


This page was built for person: J. T. Canty