J. T. Canty
From MaRDI portal
Person:2395745
Available identifiers
zbMath Open canty.john-thomasMaRDI QIDQ2395745
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! |
| Publication | Date of Publication | Type |
|---|---|---|
| Elementary logic without referential quantification | 1971-01-01 | Paper |
| Substitutional quantification and Leśniewskian quantifiers | 1970-01-01 | Paper |
| The numerical epsilon | 1969-01-01 | Paper |
| Lesniewski's terminological explanations | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5596214 | 1969-01-01 | Paper |
| On symbolizing singulary S5 functions | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5553258 | 1966-01-01 | Paper |
| A note on the axiomatization of Rubin's system | 1965-01-01 | Paper |
| Systems classically axiomatized and properly contained in Lewi's S 3 | 1965-01-01 | Paper |
| A natural deduction system for modal logic | 1964-01-01 | Paper |
| Completeness of Copi's method of deduction | 1963-01-01 | Paper |
Research outcomes over time
This page was built for person: J. T. Canty