Varieties of three-valued Heyting algebras with a quantifier

DOI10.1023/A:1005211613539zbMath0964.06007OpenAlexW1492007464MaRDI QIDQ1582308

Ana María Suardíaz, José Patricio Díaz Varela, Laura Rueda, Manuel Abad

Publication date: 19 July 2001

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005211613539

zbMATH Keywords

varietiesHeyting algebras with a quantifierthree-valued \(Q\)-Heyting algebras

Mathematics Subject Classification ID

Lattices of varieties (08B15) Heyting algebras (lattice-theoretic aspects) (06D20) Subdirect products and subdirect irreducibility (08B26)

This page was built for publication: Varieties of three-valued Heyting algebras with a quantifier