Varieties of three-valued Heyting algebras with a quantifier
type: Item
instance of: scholarly article
title: Varieties of three-valued Heyting algebras with a quantifier
zbMATH Open document ID: 0964.06007
DOI: 10.1023/A:1005211613539
published in: Studia Logica
publication date: 2001-07-19T00:00:00Z
review text: This paper is devoted to the study of some subvarieties of the variety \({\mathbf Q}\) of \(Q\)-Heyting algebras, namely Heyting algebras with a quantifier. Particular emphasis is on the variety \({\mathbf Q}_3\) of three-valued \(Q\)-Heyting algebras in which the subdirectly irreducibles are determined along with the lattice of subvarieties.
Mathematics Subject Classification ID: 06D20
Mathematics Subject Classification ID: 08B15
Mathematics Subject Classification ID: 08B26
zbMATH DE Number: 1513062
zbMATH Keywords: varieties
zbMATH Keywords: three-valued \(Q\)-Heyting algebras
zbMATH Keywords: Heyting algebras with a quantifier
author: Manuel Abad
author: Patricio Díaz Varela
author: Laura Rueda
author: Ana María Suardíaz
MaRDI profile type: Publication
full work available at URL: a:1005211613539
OpenAlex ID: W1492007464
description: scientific article; zbMATH DE number 1513062