Choice-free topological duality for implicative lattices and Heyting algebras.

Saved in:

Bibliographic Details
Title:	Choice-free topological duality for implicative lattices and Heyting algebras.
Authors:	Hartonas, Chrysafis¹ (AUTHOR) hartonas@uth.gr
Source:	Algebra Universalis. Feb2024, Vol. 85 Issue 1, p1-29. 29p.
Database:	Mathematics Source

Description
ISSN:	00025240
DOI:	10.1007/s00012-023-00830-8