A study of intermediate predicate logics
type: Item
instance of: scholarly article
title: A study of intermediate predicate logics
zbMATH Open document ID: 0281.02033
author: Hiroakira Ono
published in: Publications of the Research Institute for Mathematical Sciences, Kyoto University
publication date: 1973-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B55
Mathematics Subject Classification ID: 03B10
zbMATH DE Number: 3440408
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2977/prims/1195192964
OpenAlex ID: W2054046573
cites work: Q3235339
cites work: Q5582306
cites work: Q5595146
cites work: Q5509675
cites work: Kripke models and intermediate logics
cites work: Some results on the intermediate logics
cites work: Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics
cites work: Q5734410
cites work: On logics intermediate between intuitionistic and classical predicate logic
cites work: Applications of trees to intermediate logics
cites work: A logic stronger than intuitionism
DOI: 10.2977/PRIMS/1195192964
description: scientific article; zbMATH DE number 3440408