Article contents
On a Characteristic Feature of the Positive Logics
Published online by Cambridge University Press: 22 January 2016
Extract
In this short note, we would like to point out that the following property (called ASSUMPTION REMOVABILITY in the present paper) is characteristic of the positive logics, the primitive logic LO, the positive predicate logics LP (intuitionistic) and LQ (classical):
ASSUMPTION REMOVABILITY. If any propositioncan be deduced from some assumption
having no primitive notions in common ivith
, then
is also provable without any assumption.
- Type
- Research Article
- Information
- Copyright
- Copyright © Editorial Board of Nagoya Mathematical Journal 1966
References
- 1
- Cited by