Functional monadic Heyting algebras.

DOI10.1007/s00012-002-8202-3zbMath1062.06017OpenAlexW2029285695MaRDI QIDQ1771932

Guram Bezhanishvili, John Harding

Publication date: 19 April 2005

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-002-8202-3

zbMATH Keywords

amalgamationalgebras of intuitionistic logicmonadic Heyting algebra

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25)

Related Items (7)

Monadic classes of quantum B-algebras ⋮ The convolution algebra ⋮ Monadic bounded residuated lattices ⋮ Monadic bounded commutative residuated \(\ell\)-monoids ⋮ Completeness for monadic fuzzy logics via functional algebras ⋮ Quantum B-algebras with involutions ⋮ Quantum monadic algebras

This page was built for publication: Functional monadic Heyting algebras.