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 answ
Lukasiewicz and Symmetrical Heyting Algebras
β Scribed by Luisa Iturrioz
- Publisher
- John Wiley and Sons
- Year
- 1977
- Tongue
- English
- Weight
- 286 KB
- Volume
- 23
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
## Abstract The present paper introduces and studies the variety π²βοΈ~__n__~ of __n__βlinear weakly Heyting algebras. It corresponds to the algebraic semantic of the strict implication fragment of the normal modal logic __K__ with a generalization of the axiom that defines the linear intuitionistic
In this paper we investigate the sequence of subvarieties SDHn of De Morgan Heyting algebras characterized by the identity x n ( \* ) β x (n + 1)( \* ) . We obtain necessary and sufficient conditions for a De Morgan Heyting algebra to be in SDH1 by means of its space of prime filters, and we charact
We define a new action of the symmetric group and its Hecke algebra on polynomial rings whose invariants are exactly the quasi-symmetric polynomials. We interpret this construction in terms of a Demazure character formula for the irreducible polynomial modules of a degenerate quantum group. We use t
In our recent papers the centralizer construction was applied to the series of Ε½ . classical Lie algebras to produce the quantum algebras called twisted Yangians. Ε½ . Here we extend this construction to the series of the symmetric groups S n . We Ε½ . study the ''stable'' properties of the centraliz