On a subvariety of semi-De Morgan algebras
β Scribed by C. Palma; R. Santos
- Book ID
- 110428086
- Publisher
- Akadmiai Kiad
- Year
- 2003
- Tongue
- English
- Weight
- 792 KB
- Volume
- 98
- Category
- Article
- ISSN
- 1588-2632
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
## Abstract In [1], Bull gave completeness proofs for three axiom systems with respect to tense logic with time linear and rational, real and integral. The associated varieties, Dens, Cont and Disc, are generated by algebras with frames {β, <, >}, {β, <, >} and {β€, <, >}, respectively. In this pape
The aim of this paper is to investigate the variety of symmetric closure algebras, that is, closure algebras endowed with a De Morgan operator. Some general properties are derived. Particularly, the lattice of subvarieties of the subvariety of monadic symmetric algebras is described and an equationa
In this paper, the notion of ideal on de Morgan algebra is introduced, and using the ideal as a tool, the relations between the convergence of ideal, the compactness of de Morgan topological algebra (Chen, Fuzzy System and Math. 12 (2)