Article contents
A Lemma which Distinguishes Minimal Logics from Other Logics
Published online by Cambridge University Press: 22 January 2016
Extract
In my joint work with J. Ito [7], we have pointed out that the following property (called ASSUMPTION REMOVABILITY) is characteristic of positive logics LO, LP, and LQ:
ASSUMPTION REMOVABILITY. If → is provable for any pair of propositions andhaving no primitive notions (proposition-, predicate-, and relation-symbols) in common, thenis also provable.
- Type
- Research Article
- Information
- Copyright
- Copyright © Editorial Board of Nagoya Mathematical Journal 1966
References
- 1
- Cited by