Toward a probability theory for product logic: states, integral representation and reasoning

The aim of this paper is to extend probability theory from the classical to the product t-norm fuzzy logic setting. More precisely, we axiomatize a generalized notion of finitely additive probability for product logic formulas, called state, and show that every state is the Lebesgue integral with respect to a unique regular Borel probability measure. Furthermore, the relation between states and measures is shown to be one-one. In addition, we study geometrical properties of the convex set of states and show that extremal states, i.e., the extremal points of the state space, are the same as the truth-value assignments of the logic. Finally, we axiomatize a two-tiered modal logic for probabilistic reasoning on product logic events and prove soundness and completeness with respect to probabilistic spaces, where the algebra is a free product algebra and the measure is a state in the above sense.Comment: 27 pages, 1 figur

Functional representation of finitely generated free algebras in subvarieties of BL-algebras

Consider any subvariety of BL-algebras generated by a single BL-chain which is the ordinal sum of the standard MV-algebra on [0,1] and a basic hoop H. We present a geometrical characterization of elements in the finitely generated free algebra of each of these subvarieties. In this characterization there is a clear insight of the role of the regular and dense elements of the generating chain. As an application, we analyze maximal and prime filters in the free algebra.Fil: Busaniche, Manuela. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe. Instituto de Matemática Aplicada del Litoral. Universidad Nacional del Litoral. Instituto de Matemática Aplicada del Litoral; ArgentinaFil: Castiglioni, José Luis. Universidad Nacional de La Plata. Facultad de Ciencias Exactas. Departamento de Matemáticas; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata; ArgentinaFil: Lubomirsky, Noemí. Universidad Nacional de La Plata. Facultad de Ciencias Exactas. Departamento de Matemáticas; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata; Argentin

Finite axiomatizability in Łukasiewicz logic

n/

Order, algebra, and structure: lattice-ordered groups and beyond

This thesis describes and examines some remarkable relationships existing between seemingly quite different properties (algebraic, order-theoretic, and structural) of ordered groups. On the one hand, it revisits the foundational aspects of the structure theory of lattice-ordered groups, contributing a novel systematization of its relationship with the theory of orderable groups. One of the main contributions in this direction is a connection between validity in varieties of lattice-ordered groups, and orders on groups; a framework is also provided that allows for a systematic account of the relationship between orders and preorders on groups, and the structure theory of lattice-ordered groups. On the other hand, it branches off in new directions, probing the frontiers of several different areas of current research. More specifically, one of the main goals of this thesis is to suitably extend results that are proper to the theory of lattice-ordered groups to the realm of more general, related algebraic structures; namely, distributive lattice-ordered monoids and residuated lattices. The theory of lattice-ordered groups provides themain source of inspiration for this thesis’ contributions on these topics

DUALITIES AND REPRESENTATIONS FOR MANY-VALUED LOGICS IN THE HIERARCHY OF WEAK NILPOTENT MINIMUM.

In this thesis we study particular subclasses of WNM algebras. The variety of WNM algebras forms the algebraic semantics of the WNM logic, a propositional many-valued logic that generalizes some well-known case in the setting of triangular norms logics. WNM logic lies in the hierarchy of schematic extensions of MTL, which is proven to be the logic of all left-continuous triangular norms and their residua. In this work, I have extensively studied two extensions of WNM logic, namely RDP logic and NMG logic, from the point of view of algebraic and categorical logic. We develop spectral dualities between the varieties of algebras corresponding to RDP logic and NMG logic, and suitable defined combinatorial categories. Categorical dualities allow to give algorithmic construction of products in the dual categories obtaining computable descriptions of coproducts (which are notoriously hard to compute working only in the algebraic side) for the corresponding finite algebras. As a byproduct, representation theorems for finite algebras and free finitely generated algebras in the considered varieties are obtained. This latter characterization is especially useful to provide explicit construction of a number of objects relevant from the point of view of the logical interpretation of the varieties of algebras: normal forms, strongest deductive interpolants and most general unifiers

Técnicas geométricas y combinatorias en el estudio de subvariedades de BL-álgebras

En esta tesis estudiamos una subvariedad MG contenida en la variedad de BL-álgebras generada por una BL-cadena dada por la suma ordinal de la MV-álgebra [0,1] y el hoop de Gödel [0,1]. Se da la descripción del álgebra libre en la variedad MG, la cual da una idea del rol de los bloques principales de la cadena generadora: los elementos regulares y los elementos densos. Para definir las funciones en la representación basta con descomponer el dominio en un número finito de regiones, y sobre cada una de ellas coincide con una función de McNaughton o una función el álgebra libre generada por el hoop de Gödel [0,1]. Esta representación nos permite dar una descripción sencilla de los filtros maximales, primos y principales y las álgebras finitamente presentadas. Finalmente vemos que los resultados se pueden generalizar a álgebras generadas por cadenas dadas por la suma ordinal de la MV-álgebra estándar [0,1] y H un hoop básico totalmente ordenado.Fil: Lubomirsky, Noemí. Universidad Nacional de La Plata. Facultad de Ciencias Exactas. Departamento de Matemáticas; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata; Argentin

The free n-generated BL-algebra

For each integer n 650, we provide an explicit functional characterization of the free n-generated BL-algebra, together with an explicit construction of the corresponding normal forms