Über die Zwischensysteme der Aussagenlogik

DOI10.1017/S0027763000023412zbMATH Open0066.01103MaRDI QIDQ5850535FDOQ5850535

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)