Hyper-MacNeille Completions of Heyting Algebras.
Saved in:
| Title: | Hyper-MacNeille Completions of Heyting Algebras. |
|---|---|
| Authors: | Harding, J.1 (AUTHOR), Lauridsen, F. M.2 (AUTHOR) post@frederiklauridsen.eu |
| Source: | Studia Logica. Oct2021, Vol. 109 Issue 5, p1119-1157. 39p. |
| Database: | Mathematics Source |
| ISSN: | 00393215 |
|---|---|
| DOI: | 10.1007/s11225-021-09941-6 |