research
∙
02/07/2023
Choice-free Topological Duality for Implicative Lattices and Heyting Algebras
We develop a common semantic framework for the interpretation both of 𝐈𝐏...
research
∙
01/13/2023