On a Characteristic Feature of the Positive Logics

DOI10.1017/S002776300002403XMaRDI QIDQ5546780zbMATH OpenFDO

Authors Katuzi Ono, J. Ito

Publication date 1966

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

Full work available at URL https://doi.org/10.1017/S002776300002403X

zbMATH Keywords

general logic

Cites work

• Der Interpolationssatz der intuitionistischen Prädikatenlogik
• scientific article; zbMATH DE number 3112788 (Why is no real title available?)
• scientific article; zbMATH DE number 3261581 (Why is no real title available?)
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• On Universal Character of the Primitive Logic

Cited in

(1)

• A Lemma which Distinguishes Minimal Logics from Other Logics

This page was built for publication: On a Characteristic Feature of the Positive Logics

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