Number of the records: 1
Epimorphism Surjectivity in Varieties of Heyting Algebras
- 1.0532809 - ÚI 2021 RIV NL eng J - Journal Article
Moraschini, Tommaso - Wannenburg, J. J.
Epimorphism Surjectivity in Varieties of Heyting Algebras.
Annals of Pure and Applied Logic. Roč. 171, č. 9 (2020), č. článku 102824. ISSN 0168-0072. E-ISSN 1873-2461
R&D Projects: GA MŠMT(CZ) EF17_050/0008361
Institutional support: RVO:67985807
Keywords : Epimorphism * Heyting algebra * Esakia space * Intuitionistic logic * Intermediate logic * Beth definability
OECD category: Pure mathematics
Impact factor: 0.678, year: 2020
Method of publishing: Limited access
http://dx.doi.org/10.1016/j.apal.2020.102824
Permanent Link: http://hdl.handle.net/11104/0311209
Number of the records: 1