Natural deduction and arbitrary objects
- 1 February 1985
- journal article
- Published by Springer Nature in Journal of Philosophical Logic
- Vol. 14 (1) , 57-107
- https://doi.org/10.1007/bf00542649
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- A Defence of Arbitrary ObjectsAristotelian Society Supplementary Volume, 1983
- A FURTHER NOTE ON NATURAL DEDUCTIONMind, 1965
- A DILEMMA FOR LEMMONMind, 1963
- QUANTIFIER RULES AND NATURAL DEDUCTIONMind, 1961
- A logical system based on rules and its application in teaching mathematical logicStudia Logica, 1958
- Sur la structuration du tableau des connectifs interpropositionnels binairesThe Journal of Symbolic Logic, 1957
- On natural deductionThe Journal of Symbolic Logic, 1950