2 search results - page 1 / 1 » Finitely generated free Heyting algebras via Birkhoff dualit... |
CORR
2011
Springer
13 years 12 days 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
13 years 12 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...