Related papers: Interval MV-algebras and generalizations
Let ${\cal S}(\mathcal{H})$ denote the set of all self-adjoint operators (not necessarily bounded) on a Hilbert space $\mathcal{H}$, which is the set of all physical quantities on a quantum system $\mathcal{H}$. We introduce a binary…
In this paper we show that every locally finite quasivariety of MV-algebras is finitely generated and finitely based. To see this result we study critical MV-algebras. We also give axiomatizations of some of these quasivarieties.
We submit a classical unification of the special and general relativities via the new isominkowskian geometry in which the two relativities are differentiated by the basic unit. We then show that the unification admits an operator image in…
For (finitary) deductive systems, we formulate a signature-independent abstraction of the \emph{weak excluded middle law} (WEML), which strengthens the existing general notion of an inconsistency lemma (IL). Of special interest is the case…
We present the concept of a disjunctive basis as a generic framework for normal forms in modal logic based on coalgebra. Disjunctive bases were defined in previous work on completeness for modal fixpoint logics, where they played a central…
A constructive procedure is proposed for formulation of linear differential equations invariant under global symmetry transformations forming a semi-simple Lie algebra f. Under certain conditions f-invariant systems of differential…
The algebra of functions on kappa-Minkowski noncommutative spacetime is studied as algebra of operators on Hilbert spaces. The representations of this algebra are constructed and classified. This new approach leads to a natural construction…
In this paper we extend a decision procedure for the Boolean algebra of finite sets with cardinality constraints ($\mathcal{L}_{\lvert\cdot\rvert}$) to a decision procedure for $\mathcal{L}_{\lvert\cdot\rvert}$ extended with set terms…
We consider positive semidefinite kernels valued in the $*$-algebra of adjointable operators on a VE-space (Vector Euclidean space) and that are invariant under actions of $*$-semigroups. A rather general dilation theorem is stated and…
Family of quasi-arithmetic means has a natural, partial order (point-wise order) $A^{[f]}\le A^{[g]}$ if and only if $A^{[f]}(v)\le A^{[g]}(v)$ for all admissible vectors $v$ ($f,\,g$ and, later, $h$ are continuous and monotone and defined…
Assume that $\,I\subseteq\mathbb{R}\,$ is an interval and $\,\beta:\,I\rightarrow\,I\,$ a strictly increasing and continuous function with a single fixed point $\,s_0\in I\,$, satisfying $\,(s_0-t)(\beta(t)-t)\leq 0\,$ for all $\,t\in I$,…
Let $V$ be a vertex operator algebra and $A^{\infty}(V)$ and $A^{N}(V)$ for $N\in \mathbb{N}$ the associative algebras introduced by the author in [H5]. For a lower-bounded generalized $V$-module $W$, we give $W$ a structure of graded…
This contribution reports on the continued formalisation of an axiomatic system for Minkowski spacetime (as used in the study of Special Relativity) which is closer in spirit to Hilbert's axiomatic approach to Euclidean geometry than to the…
We investigate the validity and the stability of various Minkowski-like inequalities for $C^1$-perturbations of the ball. Let $K\subseteq\mathbb R^n$ be a domain (possibly not convex and not mean-convex) which is $C^1$-close to a ball. We…
Two generalizations of the Minkowski ?(x) function are given. As ?(x) maps quadratic irrationals to rational numbers, it is shown that both generalizations send natural classes of pairs of cubic irrational numbers in the same cubic number…
We prove that any countable discrete and torsion free subgroup of a general linear group over an arbitrary field or a similar subgroup of an almost connected Lie group satisfies the integral algebraic K-theoretic (split) Novikov conjecture…
The ostrowski inequality expresses bounds on the deviation of a function from its integral mean. The aim of this paper is to establish a new inequality using weight function which generalizes the inequalities of Dragomir, Wang and Cerone…
Let $HV$ be the loop Heisenberg-Virasoro Lie algebra over $\C$ with basis $\{L_{\a,i},H_{\b,j}\,|\,\a,\,\b,i,j\in\Z\}$ and brackets $[L_{\a,i},L_{\b,j}]=(\a-\b)L_{\a+\b,i+j}, [L_{\a,i},H_{\b,j}]=-\b H_{\a+\b,i+j},[H_{\a,i},H_{\b,j}]=0$. In…
This paper presents a systematic study of the calculus of interval-valued functions and its application to interval differential equations. To this end, first, we introduce new interval arithmetic operations. Under new operations, the space…
We generalize the clockwork theory in several directions. First, we consider beyond nearest neighbors interactions. Considering such interactions keeps a larger subgroup of the original $U(1)^{N+1}$ unbroken and can allow for different…