Translator Disclaimer
/Summer 1994 A New Solution to a Problem of Hosoi and Ono
Michael Zakharyaschev
Notre Dame J. Formal Logic 35(3): 450-457 (/Summer 1994). DOI: 10.1305/ndjfl/1040511350

Abstract

This paper gives a new, purely semantic proof of the following theorem: if an intermediate propositional logic L has the disjunction property then a disjunction free formula is provable in L iff it is provable in intuitionistic logic. The main idea of the proof is to use the well-known semantic criterion of the disjunction property for "simulating" finite binary trees (which characterize the disjunction free fragment of intuitionistic logic) by general frames.

Citation

Download Citation

Michael Zakharyaschev. "A New Solution to a Problem of Hosoi and Ono." Notre Dame J. Formal Logic 35 (3) 450 - 457, /Summer 1994. https://doi.org/10.1305/ndjfl/1040511350

Information

Published: /Summer 1994
First available in Project Euclid: 21 December 2002

zbMATH: 0837.03025
MathSciNet: MR1326126
Digital Object Identifier: 10.1305/ndjfl/1040511350

Subjects:
Primary: 03B55
Secondary: 03B45

Rights: Copyright © 1994 University of Notre Dame

JOURNAL ARTICLE
8 PAGES


SHARE
Vol.35 • No. 3 • /Summer 1994
Back to Top