Finitely Generated Free Heyting Algebras via Birkhoff Duality and Coalgebra

Logical Methods in Computer Science - Germany
doi 10.2168/lmcs-7(2:9)2011
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Logical Methods in Computer Science e.V.

Related search

Coalgebra Learning via Duality

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Finitely Generated Ideals in regularF-algebras

Pacific Journal of Mathematics
Mathematics
1975English

$H$-Spaces With Finitely Generated Cohomology Algebras

Bulletin of the American Mathematical Society
1974English

Basic Logic, SMT Solvers and Finitely Generated Varieties of GBL-algebras

English

Finitely Generated Groups With Virtually Free Automorphism Groups

Proceedings of the Edinburgh Mathematical Society
Mathematics
1995English

Test Ideals in Rings With Finitely Generated Anti-Canonical Algebras – Corrigendum

Journal of the Institute of Mathematics of Jussieu
Mathematics
2016English

Modal Operators on Symmetrical Heyting Algebras

Banach Center Publications
1982English

Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1976English

Engulfing and Finitely Generated Groups

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1986English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy