Unification, finite duality and projectivity in varieties of Heyting algebras

From MaRDI portal
Publication:598304

DOI10.1016/j.apal.2003.11.010zbMath1058.03020OpenAlexW2032229737MaRDI QIDQ598304

Silvio Ghilardi

Publication date: 6 August 2004

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2003.11.010




Related Items (max. 100)



Cites Work


This page was built for publication: Unification, finite duality and projectivity in varieties of Heyting algebras