Number of the records: 1
Epimorphism Surjectivity in Varieties of Heyting Algebras
- 1.
SYSNO 0532809 Title Epimorphism Surjectivity in Varieties of Heyting Algebras Author(s) Moraschini, Tommaso (UIVT-O) SAI, RID
Wannenburg, J. J. (ZA)Corespondence/senior Moraschini, Tommaso - Korespondující autor Source Title Annals of Pure and Applied Logic. Roč. 171, č. 9 (2020). - : Elsevier Article number 102824 Document Type Článek v odborném periodiku Grant EF17_050/0008361 GA MŠMT - Ministry of Education, Youth and Sports (MEYS), CZ - Czech Republic Institutional support UIVT-O - RVO:67985807 Language eng Country NL Keywords Epimorphism * Heyting algebra * Esakia space * Intuitionistic logic * Intermediate logic * Beth definability Cooperating institutions University of Barcelona (Spain)
University of Pretoria (South Africa)URL http://dx.doi.org/10.1016/j.apal.2020.102824 Permanent Link http://hdl.handle.net/11104/0311209
Number of the records: 1