A new solution to a problem of Hosoi and Ono
From MaRDI portal
(Redirected from Publication:1893145)
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.
Recommendations
Cites work
- scientific article; zbMATH DE number 4045716 (Why is no real title available?)
- scientific article; zbMATH DE number 3711943 (Why is no real title available?)
- scientific article; zbMATH DE number 3485746 (Why is no real title available?)
- scientific article; zbMATH DE number 3554258 (Why is no real title available?)
- scientific article; zbMATH DE number 3639591 (Why is no real title available?)
- Intermediate logics with the same disjunctionless fragment as intuitionistic logic
- Logics containing K4. Part II
- Modal companions of intermediate propositional logics
- On maximal intermediate logics with the disjunction property
- Proof of a conjecture of McKay
- The disjunction property of intermediate propositional logics
- The undecidability of the disjunction property of propositional logics and other related problems
Cited in
(5)- Rasiowa-Harrop disjunction property
- A generalization of inquisitive semantics
- scientific article; zbMATH DE number 3941477 (Why is no real title available?)
- scientific article; zbMATH DE number 4045716 (Why is no real title available?)
- scientific article; zbMATH DE number 1474883 (Why is no real title available?)
This page was built for publication: A new solution to a problem of Hosoi and Ono
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1893145)
