Skip to search formSkip to main contentSkip to account menu

MV-algebra

Known as: MV-algebras 
In abstract algebra, a branch of pure mathematics, an MV-algebra is an algebraic structure with a binary operation , a unary operation , and the… 
Wikipedia (opens in a new tab)

Related topics

Related topics

7 relations
BL (logic)Monoidal t-norm logicMulti-adjoint logic programmingResiduated lattice

Broader (1)

Fuzzy logic

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Human Action Recognition Bases on Local Action Attributes
Human action recognition received many interest in the computer vision community. Most of the existing methods focus on either… 
2012
2012
Active intelligent distribution networks — Coordinated voltage regulation methods for networks with high share of decentralised generation
This paper describes several voltage regulation approaches and strategies for distribution networks for achieving a cost… 
2012
2012
Geometric Wave Equations
In these lecture notes we discuss the solution theory of geometric wave equations as they arise in Lorentzian geometry: for a… 
Highly Cited
2007
Highly Cited
2007
High-indium-content InGaAs metal-oxide-semiconductor capacitor with amorphous LaAlO3 gate dielectric
The structure and electrical properties of LaAlO3∕n-In0.53Ga0.47As metal-oxide-semiconductor capacitors deposited by molecular… 
2006
2006
ON MODAL LOGICS BETWEEN K×K×K AND S5× S5× S5
We prove that every n-modal logic between K and S5 is undecidable, whenever n ≥ 3. We also show that each of these logics is non… 
2003
2003
Determination of the width of the carrier recombination zone in organic light-emitting diodes
Bilayer organic light-emitting diodes based on tris-(8-hydroxyquinolinato) aluminum III have been fabricated where the thickness… 
2003
2003
Polynomial endomorphisms of the Cuntz algebras arising from permutations . II — Branching laws of endomorphisms —
For a subgroup H of a group G, an irreducible decomposition of π|H for an irreducible representation π of G is one of main study… 
1999
1999
On a Multisymplectic Formulation of the Classical BRST Symmetry for First Order Field Theories Part II: Geometric Structures
A geometric multisymplectic formulation of the classical BRST symmetry of constrained first-order classical field theories is… 
1997
1997
Convergence in MV-algebras
$MV$-algebras were introduced in 1958 by Chang and they are models of Lukasiewicz infinite-valued logic. Chang gives a… 
1989
1989
Higher-order Sugawara operators for affine Lie algebras
Let 0 be the affine Lie algebra associated to a simple Lie algebra 0 . Representations of 0 are described by current fields X(Q…