On some properties of intermediate logics

DOI10.3792/PJA/1195524178MaRDI QIDQ5720188zbMATH OpenOpenAlexFDO

Authors Toshio Umezawa

Publication date 1959

Published in Proceedings of the Japan Academy, Series A, Mathematical Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3792/pja/1195524178

zbMATH Keywords

mathematical logic

Cites work

• On logics intermediate between intuitionistic and classical predicate logic
• Untersuchungen über das logische Schliessen. I

Cited in

(3)

• Glivenko theorems and negative translations in substructural predicate logics
• A short proof of Glivenko theorems for intermediate predicate logics
• A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics

This page was built for publication: On some properties of intermediate logics

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