A new solution to a problem of Hosoi and Ono
type: Item
instance of: scholarly article
title: A new solution to a problem of Hosoi and Ono
zbMATH Open document ID: 0837.03025
published in: Notre Dame Journal of Formal Logic
publication date: 1996-05-13T00:00:00Z
review text: Hosoi and Ono raised the following problem: Is it true that if a consistent extension \(L\) of intuitionistic propositional logic Int has the disjunction property then the disjunction-free fragment of \(L\) is the same as the disjunction-free fragment of Int? The author gives a new proof of the positive solution to this problem.
reviewed by: L.A.Chagrova
Mathematics Subject Classification ID: 03B55
zbMATH DE Number: 769236
zbMATH Keywords: intermediate logic
zbMATH Keywords: disjunction property
zbMATH Keywords: disjunction-free fragment
author: Michael Zakharyaschev
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1305/ndjfl/1040511350
OpenAlex ID: W2038798298
cites work: The undecidability of the disjunction property of propositional logics and other related problems
cites work: The disjunction property of intermediate propositional logics
cites work: Logics containing K4. Part II
cites work: Q4128788
cites work: On maximal intermediate logics with the disjunction property
cites work: Intermediate logics with the same disjunctionless fragment as intuitionistic logic
cites work: Q4068699
cites work: Proof of a conjecture of McKay
cites work: Q4198476
cites work: Q3902989
cites work: Q3783273
cites work: Modal companions of intermediate propositional logics
DOI: 10.1305/NDJFL/1040511350
description: scientific article; zbMATH DE number 769236