Über die Zwischensysteme der Aussagenlogik

DOI10.1017/S0027763000023412MaRDI QIDQ5850535zbMATH OpenFDO

Authors Toshio Umezawa

Publication date 1955

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

zbMATH Keywords

philosophy and foundations of mathematics

Cites work

• Untersuchungen über das logische Schliessen. I

Cited in

(9)

• A Characterization of the Intuitionistic Propositional Logic
• On formulas of one variable in intuitionistic propositional calculus
• A note on sequent calculi intermediate between LJ and LK
• On fragments of Medvedev's logic
• On superintuitionistic logics as fragments of proof logic extensions
• On the Blok-Esakia theorem
• Certain Method for Generating a Series of Logics
• On logics intermediate between intuitionistic and classical predicate logic
• On intermediate propositional logics

This page was built for publication: Über die Zwischensysteme der Aussagenlogik

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