A Lemma which Distinguishes Minimal Logics from Other Logics

DOI10.1017/S0027763000024041MaRDI QIDQ5546771zbMATH OpenWikidataFDO

Authors Katuzi Ono

Publication date 1966

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

zbMATH Keywords

general logic

Cites work

• scientific article; zbMATH DE number 3112788 (Why is no real title available?)
• scientific article; zbMATH DE number 3261581 (Why is no real title available?)
• Der Interpolationssatz der intuitionistischen Prädikatenlogik
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• On Universal Character of the Primitive Logic
• On a Characteristic Feature of the Positive Logics
• On logics intermediate between intuitionistic and classical predicate logic

Cited in

(1)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5546771)