1 paper · 1 filter
Luca Carai
Gödel algebras are the Heyting algebras satisfying the axiom (x→y)∨(y→x)=1. We utilize Priestley and Esakia dualities to dually describe free Gödel algebras and copr…