Results 111 to 120 of about 176,338 (220)
We introduce quantum Boolean algebras which are the analogue of the Weyl algebras for Boolean affine spaces. We study quantum Boolean algebras from the logical and set theoretical viewpoints.
openaire +3 more sources
Study of MV-algebras via derivations
The main goal of this paper is to give some representations of MV-algebras in terms of derivations. In this paper, we investigate some properties of implicative and difference derivations and give their characterizations in MV-algebras.
Wang Jun Tao, She Yan Hong, Qian Ting
doaj +1 more source
The Extension of an Arbitrary Boolean Algebra to an Implicative Boolean Algebra [PDF]
Copeland, Arthur H. sen., Harary, Frank
openaire +2 more sources
Piecewise Boolean Algebras and Their Domains [PDF]
We characterise piecewise Boolean domains, that is, those domains that arise as Boolean subalgebras of a piecewise Boolean algebra. This leads to equivalent descriptions of the category of piecewise Boolean algebras: either as piecewise Boolean domains equipped with an orientation, or as full structure sheaves on piecewise Boolean domains.
openaire +6 more sources
Generalized XOR Operation and the Categorical Equivalence of the Abbott Algebras and Quantum Logics. [PDF]
Burešová D.
europepmc +1 more source
Almost nilpotent Lie algebras [PDF]
Throughout we shall consider only finite-dimensional Lie algebras over a field of characteristic zero. In [3] it was shown that the classes of solvable and of supersolvable Lie algebras of dimension greater than two are characterised by the structure of ...
Towers, David
core +1 more source
Rough operations on Boolean algebras
In this paper, we introduce two pairs of rough operations on Boolean algebras. First we define a pair of rough approximations based on a partition of the unity of a Boolean algebra.
Weiru Liu, Guilin Qi
core
Merging Intuitionistic and De Morgan Logics
We introduce De Morgan Heyting logic for Heyting algebras with De Morgan negation (DH-algebras). The variety DH of all DH-algebras is congruence distributive. The lattice of all subvarieties of DH is distributive.
Minghui Ma, Juntong Guo
doaj +1 more source
POLYADIC BOOLEAN ALGEBRAS [PDF]
openaire +2 more sources
Algebras, Graphs and Ordered Sets - ALGOS 2020 & the Mathematical Contributions of Maurice Pouzet. [PDF]
Couceiro M, Duffus D.
europepmc +1 more source

