Über die Zwischensysteme der Aussagenlogik

DOI10.1017/S0027763000023412zbMath0066.01103MaRDI QIDQ5850535

Toshio Umezawa

Publication date: 1955

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

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (9)

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

Cites Work

• Untersuchungen über das logische Schliessen. I

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