English
Related papers

Related papers: Interval MV-algebras and generalizations

200 papers

We provide a new foundational approach to the generalization of terms up to equational theories. We interpret generalization problems in a universal-algebraic setting making a key use of projective and exact algebras in the variety…

Logic · Mathematics 2026-03-31 Tommaso Flaminio , Sara Ugolini

The aim of the paper is to study epicomplete objects in the category of $MV$-algebras. A relation between injective $MV$-algebras and epicomplete $MV$-algebras is found, an equivalence condition for an $MV$-algebra to be epicomplete is…

Commutative Algebra · Mathematics 2016-09-13 Anatolij Dvurečenskij , Omid Zahiri

This paper aims at connecting the various classes that provide an algebraic semantics for three different conservative expansions of Lukasiewicz logic, using algebraic and category-theoretical techniques. We connect such classes of algebras…

Logic · Mathematics 2018-09-20 Serafina Lapenta , Ioana Leustean

Generalized KdV hierarchies associated by Drinfeld-Sokolov reduction to grade one regular semisimple elements from non-equivalent Heisenberg subalgebras of a loop algebra $\G\otimes{\bf C}[\lambda,\lambda^{-1}]$ are studied. The graded…

High Energy Physics - Theory · Physics 2010-11-01 F. Delduc , L. Feher

MV-algebras can be viewed either as the Lindenbaum algebras of Lukasiewicz infinite-valued logic, or as unit intervals [0,u] of lattice-ordered abelian groups in which a strong order unit u>0 has been fixed. They form an equational class,…

Logic · Mathematics 2007-05-23 Giovanni Panti

We extend \L ukasiewicz logic obtaining the infinitary logic $\mathcal{IR}\L$ whose models are algebras $C(X,[0,1])$, where $X$ is a basically disconnected compact Hausdorff space. Equivalently, our models are unit intervals in…

Logic · Mathematics 2018-04-20 Antonio Di Nola , Serafina Lapenta , Ioana Leustean

We propose a doxastic \L ukasiewicz logic \textbf{B\L} that is sound and complete with respect to the class of Kripke-based models in which atomic propositions and accessibility relations are both infinitely valued in the standard…

Logic in Computer Science · Computer Science 2023-12-12 Doratossadat Dastgheib , Hadi Farahani

We introduce the interval Darboux delta integral (shortly, the $ID$ $\Delta$-integral) and the interval Riemann delta integral (shortly, the $IR$ $\Delta$-integral) for interval-valued functions on time scales. Fundamental properties of…

Classical Analysis and ODEs · Mathematics 2019-07-05 Dafang Zhao , Guoju Ye , Wei Liu , Delfim F. M. Torres

Every finitely presented MV-algebra A has a unique idempotent valuation E assigning value 1 to every basic element of A. For each element a of A, E(a) turns out to coincide with the Euler characteristic of the open set of maximal ideals m…

Rings and Algebras · Mathematics 2014-01-23 Daniele Mundici , Andrea Pedrini

An extension of Marcinkiewicz Interpolation Theorem, allowing intermediate spaces of Orlicz type, is proved. This generalization yields a necessary and sufficient condition so that every quasilinear operator, which maps the set, $S(X,\mu)$,…

Classical Analysis and ODEs · Mathematics 2017-11-28 Ron Kerman , Rama Rawat , Rajesh K. Singh

We prove a general theorem for constructing integral quantum cluster algebras over ${\mathbb{Z}}[q^{\pm 1/2}]$, namely that under mild conditions the integral forms of quantum nilpotent algebras always possess integral quantum cluster…

Quantum Algebra · Mathematics 2020-03-11 K. R. Goodearl , M. T. Yakimov

This article considers the structure and properties of $\delta$-Novikov algebras, a generalization of Novikov algebras characterized by a scalar parameter $\delta$. It looks like $\delta$-Novikov algebras have a richer structure than…

Rings and Algebras · Mathematics 2025-05-14 Ivan Kaygorodov

In "A new proof of the completeness of the Lukasiewicz axioms"} (Transactions of the American Mathematical Society, 88) C.C. Chang proved that any totally ordered $MV$-algebra $A$ was isomorphic to the segment $A \cong \Gamma(A^*, u)$ of a…

Logic · Mathematics 2014-08-06 Eduardo J. Dubuc , Yuri A. Poveda

The theory of the calculus of variations was recently extended to the more general time scales setting, both for delta and nabla integrals. The primary purpose of this paper is to further extend the theory on time scales, by establishing…

Classical Analysis and ODEs · Mathematics 2008-09-10 Rui A. C. Ferreira , Moulay Rchid Sidi Ammi , Delfim F. M. Torres

In this paper, some properties and applications of MV-algebras are provided. We define a Fibonacci sequence in an MV-algebra and we prove that such a stationary sequence gives us an idempotent element. Taking into account of the…

Rings and Algebras · Mathematics 2020-01-14 Cristina Flaut

In this paper we derive some basic results of circuit theory using `Implicit Linear Algebra' (ILA). This approach has the advantage of simplicity and generality. Implicit linear algebra is outlined in [1]. We denote the space of all vectors…

Systems and Control · Electrical Eng. & Systems 2020-05-05 H. Narayanan , Hariharan Narayanan

Complete MV-algebras are naturally equipped with frame structures. We call them MV-frames and investigate some of their main the properties as frames. We completely characterized algebraic MV-frames as well as regular MV-frames. In…

Logic · Mathematics 2024-05-07 Jean B Nganou

Suppose that $\Omega \in L^{\infty}(\mathbb{S} ^{n-1})$ is homogeneous of degree zero with mean value zero. Then we consider a fractional type Marcinkiewicz integral operator $$\mu_{\Omega ,\beta }f(x) = \left ( \int_{0}^{\infty } \left |…

Classical Analysis and ODEs · Mathematics 2025-02-11 Huoxiong Wu , Lin Wu

For the algebra $\mI_1= K<x, \frac{d}{dx}, \int>$ of polynomial integro-differential operators over a field $K$ of characteristic zero, a classification of simple modules is given. It is proved that $\mI_1$ is a left and right coherent…

Rings and Algebras · Mathematics 2012-05-17 V. V. Bavula

For each $1\leq i \le n$, let $k_i\geq 1$ and let $\Delta_i$ be a set of vertices of a non-degenerate simplex of $k_i+1$ points in $\mathbb{R}^{k_i+1}$. If $A\subseteq [0,1]^{k_1+1}\times \cdots \times [0,1]^{k_n+1}$ is a Lebesgue…

Combinatorics · Mathematics 2022-06-22 Polona Durcik , Mario Stipčić