1,120 research outputs found
Fuzzy inequational logic
We present a logic for reasoning about graded inequalities which generalizes
the ordinary inequational logic used in universal algebra. The logic deals with
atomic predicate formulas of the form of inequalities between terms and
formalizes their semantic entailment and provability in graded setting which
allows to draw partially true conclusions from partially true assumptions. We
follow the Pavelka approach and define general degrees of semantic entailment
and provability using complete residuated lattices as structures of truth
degrees. We prove the logic is Pavelka-style complete. Furthermore, we present
a logic for reasoning about graded if-then rules which is obtained as
particular case of the general result
Stone-type representations and dualities for varieties of bisemilattices
In this article we will focus our attention on the variety of distributive
bisemilattices and some linguistic expansions thereof: bounded, De Morgan, and
involutive bisemilattices. After extending Balbes' representation theorem to
bounded, De Morgan, and involutive bisemilattices, we make use of Hartonas-Dunn
duality and introduce the categories of 2spaces and 2spaces. The
categories of 2spaces and 2spaces will play with respect to the
categories of distributive bisemilattices and De Morgan bisemilattices,
respectively, a role analogous to the category of Stone spaces with respect to
the category of Boolean algebras. Actually, the aim of this work is to show
that these categories are, in fact, dually equivalent
Proof Theory and Ordered Groups
Ordering theorems, characterizing when partial orders of a group extend to
total orders, are used to generate hypersequent calculi for varieties of
lattice-ordered groups (l-groups). These calculi are then used to provide new
proofs of theorems arising in the theory of ordered groups. More precisely: an
analytic calculus for abelian l-groups is generated using an ordering theorem
for abelian groups; a calculus is generated for l-groups and new decidability
proofs are obtained for the equational theory of this variety and extending
finite subsets of free groups to right orders; and a calculus for representable
l-groups is generated and a new proof is obtained that free groups are
orderable
Linear Systems over Join-Blank Algebras
A central problem of linear algebra is solving linear systems. Regarding
linear systems as equations over general semirings (V,otimes,oplus,0,1) instead
of rings or fields makes traditional approaches impossible. Earlier work shows
that the solution space X(A;w) of the linear system Av = w over the class of
semirings called join-blank algebras is a union of closed intervals (in the
product order) with a common terminal point. In the smaller class of max-blank
algebras, the additional hypothesis that the solution spaces of the 1x1 systems
Av = w are closed intervals implies that X(A;w) is a finite union of closed
intervals. We examine the general case, proving that without this additional
hypothesis, we can still make X(A;w) into a finite union of quasi-intervals
Branes, Quantization and Fuzzy Spheres
We propose generalized quantization axioms for Nambu-Poisson manifolds, which
allow for a geometric interpretation of n-Lie algebras and their enveloping
algebras. We illustrate these axioms by describing extensions of
Berezin-Toeplitz quantization to produce various examples of quantum spaces of
relevance to the dynamics of M-branes, such as fuzzy spheres in diverse
dimensions. We briefly describe preliminary steps towards making the notion of
quantized 2-plectic manifolds rigorous by extending the groupoid approach to
quantization of symplectic manifolds.Comment: 18 pages; Based on Review Talk at the Workshop on "Noncommutative
Field Theory and Gravity", Corfu Summer Institute on Elementary Particles and
Physics, September 8-12, 2010, Corfu, Greece; to be published in Proceedings
of Scienc
- …