Hyper-MacNeille Completions of Heyting Algebras
Crossref DOI link: https://doi.org/10.1007/s11225-021-09941-6
Published Online: 2021-03-26
Published Print: 2021-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Harding, J.
Lauridsen, F. M. http://orcid.org/0000-0002-9131-9134
Funding for this research was provided by:
Horizon 2020 research and innovation program (689176)
Text and Data Mining valid from 2021-03-26
Version of Record valid from 2021-03-26
Article History
Accepted: 22 January 2021
First Online: 26 March 2021