A new characterization of complete Heyting and co-Heyting algebras
From MaRDI portal
Publication:5367064
DOI10.23638/LMCS-13(3:25)2017zbMath1459.06006arXiv1504.03919MaRDI QIDQ5367064
Publication date: 12 October 2017
Full work available at URL: https://arxiv.org/abs/1504.03919
Related Items (1)
This page was built for publication: A new characterization of complete Heyting and co-Heyting algebras