A reduction rule for Peirce formula
- 1 May 1996
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 56 (3) , 419-426
- https://doi.org/10.1007/bf00372774
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Ideas and Results in Proof TheoryPublished by Elsevier ,1971