𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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


Heyting Algebras with Operators
✍ Yasusi Hasimoto πŸ“‚ Article πŸ“… 2001 πŸ› John Wiley and Sons 🌐 English βš– 183 KB

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

n-linear weakly Heyting algebras
✍ Sergio A. Celani πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 178 KB

## 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

De Morgan Heyting algebras satisfying th
✍ Valeria CastaΓ±o; Marcela MuΓ±oz Santis πŸ“‚ Article πŸ“… 2011 πŸ› John Wiley and Sons 🌐 English βš– 143 KB

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

Hecke Algebras, Difference Operators, an
✍ Florent Hivert πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 470 KB

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

Degenerate Affine Hecke Algebras and Cen
✍ A.I Molev; G.I Olshanski πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 258 KB

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