No CrossRef data available.
Article contents
A Lemma for Negationless Propositional Logics and its Applications
Published online by Cambridge University Press: 22 January 2016
Extract
In this note, we treat the positive sentential logic LPS and the primitive sentential logic (the positive implicational calculus of Hilbert) LOS1). LOS has ‘implication’ as the only logical symbol and is a subsystem of LPS.
- Type
- Research Article
- Information
- Copyright
- Copyright © Editorial Board of Nagoya Mathematical Journal 1966