A Lemma for Negationless Propositional Logics and its Applications
Tosiyuki Tugué · Nagoya Mathematical Journal · 1967
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.