An algebraic setting for the validity of Pavelka style completeness for some natural expansions of Lukasiewicz logic by new connectives and rational constants is given. This algebraic approach is based on the fact that the standard MV-algebra on the real segment [0, 1] is an injective MV-algebra. In particular the logics associated with MV-algebras with product and with divisible MV-algebras ar...

For any BL-algebra L, we construct an associated lattice ordered Abelian group GL that coincides with the Chang’s `-group of an MV-algebra when the BL-algebra is an MValgebra. We prove that the Chang’s group of the MV-center of any BL-algebra L is a direct summand in GL. We also find a direct description of the complement S(L) of the Chang’s group of the MV-center in terms of the filter of dens...

Bosbach states represent a way of probabilisticly evaluating the formulas from various (commutative or non-commutative) many-valued logics. They are defined on the algebras corresponding to these logics with values in [0, 1]. Starting from the observation that in the definition of Bosbach states there intervenes the standard MV-algebra structure of [0, 1], in this paper we introduce Bosbach sta...

The classical Poincaré weak recurrence theorem states that for any probability space (Ω,S, P ), any P -measure preserving transformation T , and any A ∈ S, almost all points of A return to A. In the present paper the Poincaré theorem is proved when the σ-algebra S is replaced by any σ-complete MV-algebra. Keywords— Measure preserving transformation, Poincaré recurrence theorem, σ-complete MV-al...

symmetric difference Milan Matoušek and Pavel Pták

The aim is to approve the Central limit theorem on MV-algebras by the new approach, presented by Riečan in [1]. We use the observable as a distribution function instead of the σ-homomorphism. The main idea is in local representation of σ-algebras. The following theorem is proved: Let M be a σ-complete MV-algebra with product, m : M −→ 〈0, 1〉 be a σadditive state, (xn)n be a sequence of independ...

The transport of L-sets along an L-relation R is considered, with L any residuated lattice, sometimes with further properties as to be a frame or an MV-algebra. Pairs of powerset operators related to R are considered and their basic properties are studied in a comprehensive discussion including some results already known. A few examples and suggestions for application and further development ar...

The aim of this work is to study a class of non-archimedean valued measures on MV-algebras. We call them hyperreal states and their definition naturally arise from (the uniform version of) Di Nola representation theorem for MV-algebras (cf [5, 6]): for any MV-algebra A = (A,⊕,¬,>,⊥) there exists a ultrafilter U on the cardinality of A such that A embeds into (∗[0, 1]U) Spec(A) (where as usual S...

We connect Lukasiewicz logic, a well-established many-valued logic, with weighted logics, recently introduced by Droste and Gastin. We use this connection to show that for formal series with coefficients in semirings derived from MValgebras, recognizability and definability in a fragment of second order Lukasiewicz logic coincide.

Hoop residuation algebras are the {→, 1}-subreducts of hoops; they include Hilbert algebras and the {→, 1}-reducts of MV-algebras (also known as Wajsberg algebras). The paper investigates the structure and cardinality of finitely generated algebras in varieties of kpotent hoop residuation algebras. The assumption of k-potency guarantees local finiteness of the varieties considered. It is shown ...