Varieties of three-valued Heyting algebras with a quantifier
From MaRDI portal
Publication:1582308
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
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