BIROn - Birkbeck Institutional Research Online

    A new solution to a problem of Hosoi and Ono

    Zakharyaschev, Michael (1994) A new solution to a problem of Hosoi and Ono. Notre Dame Journal of Formal Logic 35 (3), pp. 450-457. ISSN 0029-4527.

    Full text not available from this repository.


    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.


    Item Type: Article
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Depositing User: Sarah Hall
    Date Deposited: 15 Nov 2021 12:57
    Last Modified: 09 Aug 2023 12:52


    Activity Overview
    6 month trend
    6 month trend

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item