JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor.author | Moraschini, Tommaso
|
|
| dc.contributor.author | Wannenburg, Johann Joubert
|
|
| dc.date.accessioned | 2020-10-19T09:25:16Z | |
| dc.date.issued | 2020-10 | |
| dc.description.abstract | Please read abstract in the article. | en_ZA |
| dc.description.department | Mathematics and Applied Mathematics | en_ZA |
| dc.description.embargo | 2021-10-01 | |
| dc.description.librarian | hj2020 | en_ZA |
| dc.description.sponsorship | Project CZ.02.2.69/0.0/0.0/17_050/0008361, OPVVV MŠMT, MSCA-IF Lidské zdroje v teoretické informatice; the Beatriz Galindo grant BEAGAL18/00040 of the Spanish Ministry of Science, Innovation and Universities and the DST-NRF Centre of Excellence in Mathematical and Statistical Sciences (CoE-MaSS), South Africa. | en_ZA |
| dc.description.uri | http://www.elsevier.com/locate/apal | en_ZA |
| dc.identifier.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. | en_ZA |
| dc.identifier.issn | 0168-0072 | |
| dc.identifier.other | 10.1016/j.apal.2020.102824 | |
| dc.identifier.uri | http://hdl.handle.net/2263/76534 | |
| dc.language.iso | en | en_ZA |
| dc.publisher | Elsevier | en_ZA |
| dc.rights | © 2020 Elsevier B.V. All rights reserved. Notice : this is the author’s version of a work that was accepted for publication in Annals of Pure and Applied Logic. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. A definitive version was subsequently published in Annals of Pure and Applied Logic, vol. 171, no. 9, art. 102824, pp. 1-31, 2020. doi : 10.1016/j.apal.2020.102824. | en_ZA |
| dc.subject | Epimorphism | en_ZA |
| dc.subject | Heyting algebra | en_ZA |
| dc.subject | Esakia space | en_ZA |
| dc.subject | Intuitionistic logic | en_ZA |
| dc.subject | Intermediate logic | en_ZA |
| dc.subject | Beth definability | en_ZA |
| dc.title | Epimorphism surjectivity in varieties of Heyting algebras | en_ZA |
| dc.type | Postprint Article | en_ZA |
