L-algebras and three main non-classical logics

The semantics of three main branches of non-classical logic, intuitionistic, many-valued, and quantum logic, is unified by the concept of L-algebra. The corresponding three classes of algebras (Heyting algebras, MV-algebras, and orthomodular lattices) are associated to specializations of a bounded L-algebra, given by simple equations. Three basic specializations lead to three more classes of algebras, including quantized Heyting algebras which have not been considered before. All these algebras are obtained from a new class of L-algebras which simultaneously satisfy general versions of Glivenko's and Mundici's theorems.     

IMTL代数上的素布尔滤子格

本文研究IMTL代数M上的索布尔滤子的运算性质。令FB（M）为膨上全体素布尔滤子集，FB（M）=FB（M）∪{φ}，通过在集合FB（M）引进格并、交运算和逆序对合对应，证明了FB（M）构成一个拟布黎代数。进一步在FB（M）可定义一个伴随对，证明FB（M）也构成一个剩余格。     

Stone代数的Cayley表示定理

首先通过集代数得到了Stone代数的表示定理,然后证明了每一个Stone代数均嵌入到某个集合X上的一个Stone映射类S中.     

Pseudocomplementation in (Normal) Subgroup Lattices

The goal of this article is to study finite groups admitting a pseudocomplemented subgroup lattice (PK-groups) or a pseudocomplemented normal subgroup lattice (PKN-groups). In particular, we obtain a complete classification of finite PK-groups and of finite nilpotent PKN-groups. We also study groups with a Stone normal subgroup lattice, and we classify finite groups for which every subgroup has a Stone normal subgroup lattice. Finally, we obtain a complete classification of finite groups for which every subgroup is monolithic.     

The Prime Spectrum and the Extended Prime Spectrum of Noncommutative Rings

We investigate the prime spectrum of a noncommutative ring and its spectral closure, the extended prime spectrum. We construct a ring for which the prime spectrum is a spectral space different from the extended prime spectrum and we construct a von Neumann regular ring for which the prime spectrum is not a spectral space. The authors are members of the European Research Training Network RAAG (Contract No. HPRN-CT-2001-00271). The first author was also supported by the Ministry of Education, Science and Sport of Slovenia.     

Prime Space of Lattice Implication Algebras

1.IntroductionPeoplehavepaidmoreattentiontolathcevaluedlogicsystem,whichwillbecomemuchbetterlogicalsystemforintelligentcomputer.InreferenceL1JXuYangpresentanalgebrastructure-latticeimplicationalgebrabycomblngthelatticewithimplicationalgebraastruevaluefieldoflatticevaluedlogicaIsystem.Afterthat,westudytheimplicationhomomor-phism,congruencerelationsandalgebraicstructureoflatticeimplicationalgebraanddiscussthefirstorderlogicalsystemFMbasedonlatticeimplicationalgebras,andobtainedseveralimpor-ta…     

模糊幂格的素理想与素对偶理想

讨论格与其模糊幂格的理想,对偶理想的关系,以及格与其模糊幂格的素理想,素对偶的关系.     

双重Stone代数的主同余关系

给出了双重Stone代数的主同余关系θ(a,b)(a≤b)的等式刻划以及其它的一些性质,由此得到了主同余关系θ(a,b)(a≤b)存在Boo le-补的若干充分条件.     

关于格蕴涵代数公理的一个注记

设在一个非空集合L上有一个二元运算→和两个零元运算O与I，除此之外没有其它已知的代数结构，利用这三个运算可以在L上定义一个一元运算′和两个二元运算∨和∧（定义2．1）。本文证明了只要这些运算满足格蕴涵代数的公理（不包括有余格的公理），（L，∨，∧，′）就是一个有泛界O，I的有余格（定理2．2）。因此在定义格蕴涵代数时可以在一个没有任何代数结构的非空集合上定义蕴含运算而不必在一个有泛界的有余格上定义蕴含运算，而且在这两种定义方式中蕴含运算所满足的条件是相同的。     

MV-代数的素滤子MV-拓扑空间

在MV-方体[0,1]X的子集Ω上引进MV-拓扑结构,并套论MV-拓扑空间的紧性、Hausdorff分离性等拓扑性质.细致地讨论MV-代数的素滤子集上的MV-拓扑空间(M,ΩM),证明素滤子MV-拓扑空间是紧Hausdorff MV-空间,并且它还是良紧空间.作为应用,证明一个σ-完备格M是MV-代数当且仅当M同构于某个Stone MV-空间的MV-开闭集格.     

正规模糊格的素中理想

研究正规模糊格的素中理想与极大中理想的联系；并在一定的条件下证明了：正规模糊格的素中理想与模糊格同态之间存在一一对应关系。     

Ideals and congruences in effect algebras and qmv-algebras

Ideals and sets of ideals of different types on QMV-algebras and the corresponding effect algebras are studied and compared.     

Well-Defined Fuzzy Sentential Logic

A many-valued sentential logic with truth values in an injective MV-algebra is introduced and the axiomatizability of this logic is proved. The paper develops some ideas of Goguen and generalizes the results of Pavelka on the unit interval. The proof for completeness is purely algebraic. A corollary of the Completeness Theorem is that fuzzy logic on the unit interval is semantically complete if and only if the algebra of the truth values is a complete MV-algebra. In the well-defined fuzzy sentential logic holds the Compactness Theorem, while the Deduction Theorem and the Finiteness Theorem in general do not hold. Because of its generality and good-behaviour, MV-valued logic can be regarded as a mathematical basis of fuzzy reasoning.     

幂格的素理想和素对偶理想

在文 [1 ]中 ,引入了幂格的概念 ,并讨论了其相关性质 .本文在此基础上 ,讨论格与其幂格的理想 ,对偶理想的关系 ,以及格与其幂络的素理想 ,素对偶理想的关系 .     

On the Product and Factorization of Lattice Implication Algebras

In this paper,the concepts of product and factorization of lattice implication algebra areproposed,the relation between lattice implication product algebra and its factors and some properties oflattice implication product algebras are discussed.     

Prime Ideals of Cancellative Semigroups

Abstract

For a class of prime ideals P of a cancellative semigroup S it is shown that the factors S/P have a structure of a monomial semigroup over a group. Consequences for the semigroup algebras K[S] are discussed.     

同余可换的Stone代数

借助Stone代数的对偶空间的性质，考察了Stone代数的同余可换性.     

The separability of the Gauss map versus the reflexivity

In projective algebraic geometry, various pathological phenomena in positive characteristic have been observed by several authors. Many of those phenomena concerning the behavior of embedded tangent spaces seem to be controlled by the separability of (the extension of function fields defined by) the Gauss map, or by the reflexivity with respect to the projective dual for a projective variety. The purpose of this paper is to survey the studies on the relationship between the separability of the Gauss map and the reflexivity for a projective variety: Is the separability of the Gauss map equivalent to the reflexivity for a projective variety?     

Cyclic Elements in MV-Algebras and Post Algebras

In this paper we characterize the MV-algebras containing as subalgebras Post algebras of finitely many orders. For this we study cyclic elements in MV-algebras which are the generators of the fundamental chain of the Post algebras. Mathematics Subject Classification: 03G20, 03G25, 06D25, 06D30, 06F15, 06F35.