Skip to main content
SpringerLink
Log in

On Harrop disjunction property in intermediate predicate logics

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

Abstract

A partial solution to Ono’s problem P54 is given. Here Ono’s problem P54 is whether Harrop disjunction property is equivalent to disjunction property or not in intermediate predicate logics. As an application of this result it is shown that some intermediate predicate logics satisfy Harrop disjunction property.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Church, A.: Introduction to Mathematical Logic I. Princeton University Press, Princeton (1956)

    Google Scholar 

  2. Ferrari, M., Miglioli, P.: Counting the maximal intermediate constructive logics. J. Symb. Log. 58, 1365–1401 (1993)

    Article  MathSciNet  Google Scholar 

  3. Komori, Y.: Some results on the super-intuitionistic predicate logics. Rep. Math. Logic 15, 13–31 (1983)

    MathSciNet  Google Scholar 

  4. Minari, P., Wroński, A.: The property (HD) in intermediate logics. A partial solution on a problem of H. Ono. Rep. Math. Logic 22, 21–25 (1988)

    MathSciNet  Google Scholar 

  5. Nakamura, T.: Disjunction property for some intermediate predicate logics. Rep. Math. Logic 15, 33–39 (1983)

    MathSciNet  Google Scholar 

  6. Ono, H.: Some problems in intermediate predicate logics. Rep. Math. Logic 21, 55–67 (1987)

    MathSciNet  Google Scholar 

  7. Suzuki, N.-Y.: Algebraic Kripke sheaf semantics for non-classical predicate logics. Stud. Log. 63, 387–416 (1999)

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

The author would like to thank the referee for several suggestions.

Author information

Authors and Affiliations

  1. 6-3-201, Miyasaka 2-chome, Setagaya-ku, Tokyo, 156-0051, Japan

    Katsumasa Ishii

Authors
  1. Katsumasa Ishii
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Katsumasa Ishii.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Ishii, K. On Harrop disjunction property in intermediate predicate logics. Arch. Math. Logic 63, 317–324 (2024). https://doi.org/10.1007/s00153-023-00895-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-023-00895-1

Keywords

Mathematics Subject Classification

Search

Navigation