Author:
Miura Satoshi,Nagata Shûrô
Abstract
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.
Publisher
Cambridge University Press (CUP)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献