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.
Similar content being viewed by others
References
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.
Ciardelli, I., Inquisitive Semantics and Intermediate Logics, MSc thesis, University of Amsterdam, 2009.
Ciardelli, I., Questions in Logic, PhD Thesis, University of Amsterdam, 2016.
Ciardelli, I., and F. Roelofsen, Inquisitive Logic, Journal of Philosophical Logic 40: 55–94, 2011.
Ciardelli, I., J. Groenendijk, and F. Roelofsen, Inquisitive Semantics: A New Notion of Meaning, Language and Linguistics Compass 7: 459–476, 2013.
Ciardelli, I., J. Groenendijk, and F. Roelofsen, Inquisitive Semantics, Oxford University Press, Oxford, 2019.
Ciardelli, I., R. Iemhoff, and F. Yang, Questions and Dependency in Intuitionistic Logic, Notre Dame Journal of Formal Logic 61: 75–115, 2020.
Font, J. M., Abstract Algebraic Logic, College Publications, London, 2016.
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.
Grätzer, G., Lattice Theory: Foundation, Birkhäuser, Basel, 2011.
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.
Iemhoff, R., and F. Yang Structural Completeness in Propositional Logics of Dependence, Archive for Mathematical Logic 55: 955–975, 2016.
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.
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.
Punčochář, V., A Generalization of Inquisitive Semantics, Journal of Philosophical Logic 45(4): 399–428, 2016.
Punčochář, V., Substructural Inquisitive Logics, The Review of Symbolic Logic 12(2):296–330, 2019.
Prucnal, T., On Two Problems of Harvey Friedman, Studia Logica 38: 247–262, 1979.
Roelofsen, F., Algebraic Foundations for the Semantic Treatment of Inquisitive Content, Synthese 190, Supplement 1: 79–102, 2013.
Acknowledgements
The work on this paper was supported by Grant No. 20-18675S of the Czech Science Foundation.
Author information
Authors and Affiliations
Corresponding author
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
About this article
Cite this article
Punčochář, V. Inquisitive Heyting Algebras. Stud Logica 109, 995–1017 (2021). https://doi.org/10.1007/s11225-020-09936-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-020-09936-9