Results 51 to 60 of about 2,047 (199)
Notes on divisible MV-algebras
, 2016 In these notes we study the class of divisible MV-algebras inside the algebraic hierarchy of MV-algebras with product. We connect divisible MV-algebras with $\mathbb Q$-vector lattices, we present the divisible hull as a categorical adjunction and we ...
Lapenta, Serafina, Leustean, Ioana
core +1 more source
An analysis of the logic of Riesz Spaces with strong unit
, 2017 We study \L ukasiewicz logic enriched with a scalar multiplication with scalars taken in $[0,1]$. Its algebraic models, called {\em Riesz MV-algebras}, are, up to isomorphism, unit intervals of Riesz spaces with a strong unit endowed with an appropriate ...
Di Nola, Antonio +2 more
core +1 more source
Some results on pseudo MV-algebras with n-roots
Ratio MathematicaThe paper provides a study of pseudo MV-algebras with $n$-roots. We outline their main properties and establish that the class of MV-algebras with $n$-roots forms a variety.
Chen Xinrong, Hongxing Liu
doaj +1 more source
Paraconsistency in the Logic sqŁ*
AxiomsThe logic sqŁ* is closely related to complex fuzzy sets. In this paper, we continue our study on sqŁ* by establishing a system that includes all formulas with values 0 in sqŁ*. This system has paraconsistent formulas within sqŁ*.
Lei Cai, Wenjuan Chen
doaj +1 more source
Fuzzy Sets and Systems, 2015 The main aim of this article is to study tense MV-algebras which are just MV-algebras with new unary operations $G$ and $H$ which express a universal time quantifiers. Tense MV-algebras were introduced by D. Diagonescu and G. Georgescu. Using a new notion of an fm-function between MV-algebras we \zruseno{will prove} \zmena{settle a half of their Open ...
Botur, Michal, Paseka, Jan
openaire +2 more sources
On MV-algebras of non-linear functions [PDF]
Categories and General Algebraic Structures with Applications, 2017 In this paper, the main results are:a study of the finitely generated MV-algebras of continuous functions from the n-th power of the unit real interval I to I;a study of Hopfian MV-algebras; anda category-theoretic study of the map sending an MV-algebra ...
Antonio Di Nola +2 more
doaj +2 more sources
A representation theorem for MV-algebras
, 2006 An {\em MV-pair} is a pair $(B,G)$ where $B$ is a Boolean algebra and $G$ is a subgroup of the automorphism group of $B$ satisfying certain conditions. Let $\sim_G$ be the equivalence relation on $B$ naturally associated with $G$. We prove that for every
A Dvurečenskij +19 more
core +2 more sources
Synchronization of Analog Neuron Circuits With Digital Memristive Synapses: An Hybrid Approach
Advanced Electronic Materials, EarlyView.An hybrid circuit mimicking neural units coupled using memristive synapses is introduced. The analog neurons provide flexibility and robustness, and the digital memristive coupling guarantees the full reconfigurability of the interconnection. The onset of a synchronized spiking behavior in two circuits mimicking the Izhikevich neuron is discussed from ...
Lamberto Carnazza +3 more
wiley +1 more source
Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications [PDF]
International Journal of Computational Intelligence Systems, 2015 This paper deals with propositional fuzzy modal logic with evaluated syntax based on MV-algebras. We focus on its semantical theory from the viewpoint of Pavelka's graded semantics of propositional fuzzy logic, investigate the L-tautologies based on ...
Xiaodong Pan, Yang Xu
doaj +1 more source
Exponentials of general multivector in 3D Clifford algebras
Nonlinear Analysis, 2022 Closed form expressions to calculate the exponential of a general multivector (MV) in Clifford geometric algebras (GAs) Clp;q are presented for n = p + q = 3.
Adolfas Dargys, Artūras Acus
doaj +1 more source