A new solution to a problem of Hosoi and Ono

DOI10.1305/ndjfl/1040511350zbMath0837.03025OpenAlexW2038798298MaRDI QIDQ1893145

Michael Zakharyashchev

Publication date: 13 May 1996

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1040511350

zbMATH Keywords

disjunction propertyintermediate logicdisjunction-free fragment

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items (1)

A generalization of inquisitive semantics

Cites Work

• Intermediate logics with the same disjunctionless fragment as intuitionistic logic
• On maximal intermediate logics with the disjunction property
• The disjunction property of intermediate propositional logics
• Modal companions of intermediate propositional logics
• Logics containing K4. Part II
• The undecidability of the disjunction property of propositional logics and other related problems
• Proof of a conjecture of McKay
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A new solution to a problem of Hosoi and Ono