Article contents
Certain Method for Generating a Series of Logics
Published online by Cambridge University Press: 22 January 2016
Extract
At first, we define three relations ⊇, =, and ⊃ in connection with a pair of logics L and L* as follows:
L ⊇ L*, if and only if every proposition provable in L* is also provable in L;
L = L*, if and only if L ⊇ L* and L* ⊇ L;
L ⊃ L*, if and only if L, ⊇ L* but not L* ⊇ L.
- Type
- Research Article
- Information
- Copyright
- Copyright © Editorial Board of Nagoya Mathematical Journal 1968
References
- 3
- Cited by