\(I_ n\)-symmetrical Heyting algebras (Q1208070): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Sonia M. Savini / rank | |||
Property / reviewed by | |||
Property / reviewed by: Dietmar Schweigert / rank | |||
Property / author | |||
Property / author: Sonia M. Savini / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Dietmar Schweigert / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3250590 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4063138 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lattices With Involution / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3235799 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3271837 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algèbres de Boole monadiques libres / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finite limitations on Dummett's LC / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Structure residuation / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf01190777 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2048830856 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 12:13, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | \(I_ n\)-symmetrical Heyting algebras |
scientific article |
Statements
\(I_ n\)-symmetrical Heyting algebras (English)
0 references
16 May 1993
0 references
A symmetrical Heyting algebra is an algebra \((A;\land,\lor,',\Rightarrow,0,1)\) such that \((A;\land,\lor,\Rightarrow,0,1)\) is a Heyting algebra and \((A;\land,\lor,',0,1)\) is a DeMorgan algebra. The Heyting algebra is \(I_ n\)-symmetrical if it satisfies the Ivo Thomas equality. The authors show that these algebras are semi-simple. They characterize simple algebras and their subalgebras and answer a problem raised by A. Monteiro.
0 references
semi-simple algebras
0 references
symmetrical Heyting algebra
0 references
DeMorgan algebra
0 references
simple algebras
0 references