On some properties of intermediate logics

DOI10.3792/pja/1195524178zbMath0113.24301OpenAlexW1964989279MaRDI QIDQ5720188

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

Related Items (3)

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

Cites Work

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

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