2 search results - page 1 / 1 » Finitely generated free Heyting algebras via Birkhoff dualit... |
CORR
2011
Springer
13 years 4 months ago
2011
Springer
Algebras axiomatized entirely by rank 1 axioms are algebras for a functor and thus the free algebras can be obtained by a direct limit process. Dually, the final coalgebras can be...
CALCO
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We use coalgebraic methods to describe finitely generated free Heyting algebras. Heyting algebras are axiomatized by rank 0-1 axioms. In the process of constructing free...