Heyting Algebras with Operators.

Authors :: Hasimoto, Yasusi
Source :: Mathematical Logic Quarterly. May2001, Vol. 47 Issue 2, p187-196. 10p.
Publication Year :: 2001
Abstract: In this paper, we will give a general description of subdirectly irreducible Heyting algebras with operators under some weak conditions, which includes the finite case, the normal case and the case for Boolean algebras with diamond operator. This can be done by normalizing these operators. This answers the question posed in Wolter [4]. [ABSTRACT FROM AUTHOR]

Subjects :: *MATHEMATICAL logic
*MATHEMATICS
*ALGEBRAIC logic
*QUESTION (Logic)
*MATHEMATICAL linguistics
*BOOLEAN algebra

Language :: English
ISSN :: 09425616
Volume :: 47
Issue :: 2
Database :: Academic Search Index
Journal :: Mathematical Logic Quarterly
Publication Type :: Academic Journal
Accession number :: 13585405
Full Text :: https://doi.org/10.1002/1521-3870(200105)47:2<187::AID-MALQ187>3.0.CO;2-J