A Lemma which Distinguishes Minimal Logics from Other Logics

DOI10.1017/S0027763000024041zbMath0163.00601WikidataQ125063962 ScholiaQ125063962MaRDI QIDQ5546771

Katuzi Ono

Publication date: 1966

Published in: Nagoya Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

general logic

Related Items

Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach

Cites Work

• Der Interpolationssatz der intuitionistischen Prädikatenlogik
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• On logics intermediate between intuitionistic and classical predicate logic
• On Universal Character of the Primitive Logic
• On a Characteristic Feature of the Positive Logics
• Unnamed Item
• Unnamed Item

This page was built for publication: A Lemma which Distinguishes Minimal Logics from Other Logics