Calculi of Pure Strict Implication
- 1 January 1969
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- A NEW DECISION PROCEDURE FOR ARISTOTLE'S SYLLOGISTICMind, 1952
- Note on a property of matrices for Lewis and Langford's calculi of propositionsThe Journal of Symbolic Logic, 1940
- Proof that there are infinitely many modalities in Lewis's system S2The Journal of Symbolic Logic, 1940