Results 101 to 110 of about 22,156 (198)

Study of MV-algebras via derivations

Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2019
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

Generalized XOR Operation and the Categorical Equivalence of the Abbott Algebras and Quantum Logics. [PDF]

Int J Theor Phys (Dordr), 2023
Burešová D.
europepmc   +1 more source

Algebras, Graphs and Ordered Sets - ALGOS 2020 & the Mathematical Contributions of Maurice Pouzet. [PDF]

Order (Dordr), 2023
Couceiro M, Duffus D.
europepmc   +1 more source

Merging Intuitionistic and De Morgan Logics

Mathematics
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

Orthopseudorings and congruences on distributive lattice with dual weak complementation. [PDF]

Heliyon, 2023
Rezk EG.
europepmc   +1 more source

POLYADIC BOOLEAN ALGEBRAS [PDF]

Proceedings of the National Academy of Sciences, 1954
openaire   +2 more sources

Sheffer operation in relational systems. [PDF]

Soft comput, 2022
Chajda I, Länger H.
europepmc   +1 more source

On Boolean posets of numerical events. [PDF]

Adv Comput Intell, 2021
Dorninger D, Länger H.
europepmc   +1 more source

Non-Kolmogorovian Probabilities and Quantum Technologies. [PDF]

Entropy (Basel), 2022
Holik FH.
europepmc   +1 more source

The Measurement Problem Is a Feature, Not a Bug-Schematising the Observer and the Concept of an Open System on an Informational, or (Neo-)Bohrian, Approach. [PDF]

Entropy (Basel), 2023
Cuffaro ME.
europepmc   +1 more source