Skip to main content
SpringerLink
Log in

Inquisitive Heyting Algebras

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

In this paper we introduce a class of inquisitive Heyting algebras as algebraic structures that are isomorphic to algebras of finite antichains of bounded implicative meet semilattices. It is argued that these structures are suitable for algebraic semantics of inquisitive superintuitionistic logics, i.e. logics of questions based on intuitionistic logic and its extensions. We explain how questions are represented in these structures (prime elements represent declarative propositions, non-prime elements represent questions, join is a question-forming operation) and provide several alternative characterizations of these algebras. For instance, it is shown that a Heyting algebra is inquisitive if and only if its prime filters and filters generated by sets of prime elements coincide and prime elements are closed under relative pseudocomplement. We prove that the weakest inquisitive superintuitionistic logic is sound with respect to a Heyting algebra iff the algebra is what we call a homomorphic p-image of some inquisitive Heyting algebra. It is also shown that a logic is inquisitive iff its Lindenbaum–Tarski algebra is an inquisitive Heyting algebra.

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. Bezhanishvili, N., G. Grilletti, and W. Holliday, Algebraic and Topological Semantics for Inquisitive Logic via Choice-free duality, in R. Iemhoff, M. Moortgat, and R. de Queiroz, (eds.), Logic, Language, Information, and Computation. WoLLIC 2019. Lecture Notes in Computer Science, vol. 11541, Springer, 2019, pp. 35–52.

  2. Ciardelli, I., Inquisitive Semantics and Intermediate Logics, MSc thesis, University of Amsterdam, 2009.

  3. Ciardelli, I., Questions in Logic, PhD Thesis, University of Amsterdam, 2016.

  4. Ciardelli, I., and F. Roelofsen, Inquisitive Logic, Journal of Philosophical Logic 40: 55–94, 2011.

    Article  Google Scholar 

  5. Ciardelli, I., J. Groenendijk, and F. Roelofsen, Inquisitive Semantics: A New Notion of Meaning, Language and Linguistics Compass 7: 459–476, 2013.

    Article  Google Scholar 

  6. Ciardelli, I., J. Groenendijk, and F. Roelofsen, Inquisitive Semantics, Oxford University Press, Oxford, 2019.

    Google Scholar 

  7. Ciardelli, I., R. Iemhoff, and F. Yang, Questions and Dependency in Intuitionistic Logic, Notre Dame Journal of Formal Logic 61: 75–115, 2020.

    Article  Google Scholar 

  8. Font, J. M., Abstract Algebraic Logic, College Publications, London, 2016.

  9. Frittella, S., G. Greco, A. Palmigiano, and F. Yang, A Multi-type Calculus for Inquisitive Logic, in J. Vaäänänen, Å. Hirvonen, and R. de Queiroz, (eds.), Proceedings of the 23rd International Workshop on Logic, Language, Information, and Computation, Springer, 2016, pp. 215–233.

  10. Grätzer, G., Lattice Theory: Foundation, Birkhäuser, Basel, 2011.

    Book  Google Scholar 

  11. Harrah, D., The Logic of Questions, in D. M. Gabbay, and F. Guenthner, (eds.), Handbook of Philosophical Logic, Vol. II: Extensions of Classical Logic, D. Reidel Publishing Company, Dordrecht, 1984, pp. 715–764.

  12. Iemhoff, R., and F. Yang Structural Completeness in Propositional Logics of Dependence, Archive for Mathematical Logic 55: 955–975, 2016.

    Article  Google Scholar 

  13. Miglioli, P., U. Moscato, M. Ornaghi, S. Quazza, and G. Usberti, Some Results on Intermediate Constructive Logics, Notre Dame Journal of Formal Logic 30(4): 543–562, 1989.

    Article  Google Scholar 

  14. Minari, P., and A. Wronski, The Property (HD) in Intermediate Logics. A Partial Solution of a Problem of H. Ono, Reports on Mathematical Logic 22: 21–25, 1988.

  15. Punčochář, V., A Generalization of Inquisitive Semantics, Journal of Philosophical Logic 45(4): 399–428, 2016.

    Article  Google Scholar 

  16. Punčochář, V., Substructural Inquisitive Logics, The Review of Symbolic Logic 12(2):296–330, 2019.

  17. Prucnal, T., On Two Problems of Harvey Friedman, Studia Logica 38: 247–262, 1979.

    Article  Google Scholar 

  18. Roelofsen, F., Algebraic Foundations for the Semantic Treatment of Inquisitive Content, Synthese 190, Supplement 1: 79–102, 2013.

    Article  Google Scholar 

Download references

Acknowledgements

The work on this paper was supported by Grant No. 20-18675S of the Czech Science Foundation.

Author information

Authors and Affiliations

  1. The Institute of Philosophy, Czech Academy of Sciences, Jilská 1, Prague, Czech Republic

    Vít Punčochář

Authors
  1. Vít Punčochář
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Vít Punčochář.

Additional information

Publisher's Note

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

Presented by Yde Venema

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Punčochář, V. Inquisitive Heyting Algebras. Stud Logica 109, 995–1017 (2021). https://doi.org/10.1007/s11225-020-09936-9

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-020-09936-9

Keywords

Search

Navigation