Epimorphism surjectivity in varieties of Heyting algebras
Loading...
Date
Authors
Moraschini, Tommaso
Wannenburg, Johann Joubert
Journal Title
Journal ISSN
Volume Title
Publisher
Elsevier
Abstract
Please read abstract in the article.
Description
Keywords
Epimorphism, Heyting algebra, Esakia space, Intuitionistic logic, Intermediate logic, Beth definability
Sustainable Development Goals
Citation
Moraschini, T. & Wannenburg, J.J. 2020, 'Epimorphism surjectivity in varieties of Heyting algebras', Annals of Pure and Applied Logic, vol. 171, no. 9, art. 102824, pp. 1-31.