Results 101 to 110 of about 2,047 (199)
Relation Between Be-Algebras and G-Hilbert Algebras
Hilbert algebras are important tools for certain investigations in algebraic logic since they can be considered as fragments of any propositional logic containing a logical connective implication and the constant 1 which is considered as the logical ...
Rezaei Akbar, Saeid Arsham Borumand
doaj +1 more source
Molecular Origins of Philicity: How Atomic Interactions Determine Miscibility and Diffusivity
Alterations in the atomic philicity, as represented by Lennard–Jones parameters, determine the miscibility of an alkane‐perfluoroalkane system. Some parameters enhance mixing, while others enhance phase separation.We present a computational study on the microscopic origin of molecular philicity, which determines the miscibility and diffusivity of ...
Anna Luisa Upterworth +2 more
wiley +1 more source
Very true operators on MTL-algebras
The main goal of this paper is to investigate very true MTL-algebras and prove the completeness of the very true MTL-logic. In this paper, the concept of very true operators on MTL-algebras is introduced and some related properties are investigated. Also,
Wang Jun Tao +2 more
doaj +1 more source
Isometries of generalized MV-algebras [PDF]
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Logical entropy of dynamical systems in product MV-algebras and general scheme
The present paper is aimed at studying the entropy of dynamical systems in product MV-algebras. First, by using the concept of logical entropy of a partition in a product MV-algebra introduced and studied by Markechová et al.
Dagmar Markechová, Beloslav Riečan
doaj +1 more source
Equivariant multiplicities via representations of quantum affine algebras. [PDF]
Casbi E, Li JR.
europepmc +1 more source
Interval MV-algebras and generalizations
For any MV-algebra $A$ we equip the set $I(A)$ of intervals in $A$ with pointwise ukasiewicz negation $\neg x=\{\neg \mid \in x\}$, (truncated) Minkowski sum, $x\oplus y=\{ \oplus \mid \in x,\,\, \in y\}$, pointwise ukasiewicz conjunction $x\odot y=\neg(\neg x\oplus \neg y)$, the operators $ x=[\min x,\min x]$, $\nabla x=[\max x,\max x]$,
CABRER, LEONARDO MANUEL +1 more
openaire +2 more sources
Reconstructing Classical Algebras via Ternary Operations
Although algebraic structures are frequently analyzed using unary and binary operations, they can also be effectively defined and unified using ternary operations.
Jorge P. Fatelo, Nelson Martins-Ferreira
doaj +1 more source
Given algebras \({\mathbf A}\) and \({\mathbf B}\) of the same type, a homomorphism \(\rho: {\mathbf A} \to {\mathbf B}\) is called retractive provided that there is a homomorphism \(\delta: {\mathbf B} \to {\mathbf A}\) such that \(\rho\circ \delta= \text{id}_B\). Note that a retractive homomorphism must be surjective. A congruence relation \(\theta\)
Cignoli, Roberto, Torrens, Antoni
openaire +3 more sources

