A Lemma which Distinguishes Minimal Logics from Other Logics

DOI10.1017/S0027763000024041zbMATH Open0163.00601WikidataQ125063962 ScholiaQ125063962MaRDI QIDQ5546771FDOQ5546771

Authors: Katuzi Ono 

Publication date: 1966

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

zbMATH Keywords

general logic

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• On logics intermediate between intuitionistic and classical predicate logic
• Der Interpolationssatz der intuitionistischen Prädikatenlogik
• On Universal Character of the Primitive Logic
• On a Characteristic Feature of the Positive Logics

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)