Article contents
Postulates for implicational calculi
Published online by Cambridge University Press: 12 March 2014
Extract
I. (Bull's system OIC, defined in [1] as positive implication plus ССССpqqrСССpqrr, can be axiomatised by adding this to a weaker base.)
1. СpСqp
2. ССpqССqrСpr
3. ССССpqqrСССpqrr
4. ССССqrСprsССpqs = D22
5. ССrСpqСССpqСrqСrq = D43
6. СССССpqССrqСrqsССrСpqs = D25
7. ССpСqrССpqСpr = D64
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1996
References
- 2
- Cited by