Subreducts of MV-algebras with product and product residuation

Recently, MV-algebras with product have been investigated from different points of view. In particular, in [EGM01], a variety resulting from the combination of MV-algebras and product algebras (see [H98]) has been introduced. The elements of this variety are called ŁΠ-algebras. In this paper we treat subreducts of ŁΠ-algebras, with emphasis on quasivarieties of subreducts whose basic operations are continuous in the order topology. We give axiomatizations of the most interesting classes of subreducts, and we connect them with other algebraic classes of algebras, like f-rings and Wajsberg hoops, as well as to structures of co-infinitesimals of ŁΠ-algebras. In some cases, connections are given by means of equivalences of categories.Dedicated to the Memory of Wim BlokReceived June 19, 2002; accepted in final form November 29, 2004.This revised version was published online in August 2005 with a corrected cover date.     

State-morphism MV-algebras

We present a stronger variation of state MV-algebras, recently presented by T. Flaminio and F. Montagna, which we call state-morphism MV-algebras. Such structures are MV-algebras with an internal notion, a state-morphism operator. We describe the categorical equivalences of such (state-morphism) state MV-algebras with the category of unital Abelian ?-groups with a fixed state operator and present their basic properties. In addition, in contrast to state MV-algebras, we are able to describe all subdirectly irreducible state-morphism MV-algebras.     

A characterization of free generating sets in MV-algebras

MV-algebras are a generalization of Boolean algebras. As is well known, a free generating set for a Boolean algebra is characterized by the following simple algebraic condition: whenever A and B are finite disjoint subsets of X then . Our aim in this note is to give a similar characterization of free generating sets in MV-algebras. Received January 30, 2005; accepted in final form March 13, 2007.     

Weakly linear quantum MV-algebras

Quantum MV-algebras (QMV-algebras) are a non lattice-theoretic generalization of MV-algebras (multi-valued algebras) and a non-idempotent generalization of orthomodular lattices. In this paper we construct a finite basis for the variety generated by the class of all weakly linear quantum MV-algebras.Dedicated to the memory of Wim BlokReceived October 12, 2000; accepted in final form October 3, 2004.This revised version was published online in August 2005 with a corrected cover date.     

Localization of MV-algebras and lu-groups

The aim of the present paper is to define the localization MV-algebra of an MV-algebra A with respect to a topology on A; also, following the categorical equivalence between the category of lu-groups and the category of MV-algebras, we define the analogous notion for lu-groups. In Section 5 we prove that the maximal MV-algebra of quotients (defined in [7]) and the MV-algebra of fractions relative to an -closed system (defined in [6]) are MV-algebras of localization.In the last part of this paper (Section 6) we prove analogous results for lu-groups.     

Projective limits of MV-spaces

An MV-space is a topological space X such that there exists an MV-algebra A whose prime spectrum Spec A is homeomorphic to X. The characterization of the MV-spaces is an important open problem.We shall prove that any projective limit of MV-spaces in the category of spectral spaces is an MV-space. In this way, we obtain new classes of MV-spaces related to some preservation properties of the Belluce functor.     

State morphism MV-algebras

We present a complete characterization of subdirectly irreducible MV-algebras with internal states (SMV-algebras). This allows us to classify subdirectly irreducible state morphism MV-algebras (SMMV-algebras) and describe single generators of the variety of SMMV-algebras, and show that we have a continuum of varieties of SMMV-algebras.     

Quantales and their sheaves

A quantale is a complete lattice provided with a binary multiplication which, in particular, distributes over in each variable. First we study the quantales, their morphisms, their points and the relations with the theory of locales: the case where the multiplication is just the meet. We describe the presheaves and sheaves on a quantale and exhibit a link between the corresponding toposes and quantum logic.Research supported by NATO grant 476/84.     

First-order t-norm based fuzzy logics with truth-constants: Distinguished semantics and completeness properties

This paper aims at being a systematic investigation of different completeness properties of first-order predicate logics with truth-constants based on a large class of left-continuous t-norms (mainly continuous and weak nilpotent minimum t-norms). We consider standard semantics over the real unit interval but also we explore alternative semantics based on the rational unit interval and on finite chains. We prove that expansions with truth-constants are conservative and we study their real, rational and finite chain completeness properties. Particularly interesting is the case of considering canonical real and rational semantics provided by the algebras where the truth-constants are interpreted as the numbers they actually name. Finally, we study completeness properties restricted to evaluated formulae of the kind , where φ has no additional truth-constants.     

Canonical extensions of double quasioperator algebras: An algebraic perspective on duality for certain algebras with binary operations

The context for this paper is a class of distributive lattice expansions, called double quasioperator algebras (DQAs). The distinctive feature of these algebras is that their operations preserve or reverse both join and meet in each coordinate. Algebras of this type provide algebraic semantics for certain non-classical propositional logics. In particular, MV-algebras, which model the ?ukasiewicz infinite-valued logic, are DQAs.Varieties of DQAs are here studied through their canonical extensions. A variety of this type having additional operations of arity at least 2 may fail to be canonical; it is already known, for example, that the variety of MV-algebras is not. Non-canonicity occurs when basic operations have two distinct canonical extensions and both are necessary to capture the structure of the original algebra. This obstruction to canonicity is different in nature from that customarily found in other settings. A generalized notion of canonicity is introduced which is shown to circumvent the problem. In addition, generalized canonicity allows one to capture on the canonical extensions of DQAs the algebraic operations in such a way that the laws that these obey may be translated into first-order conditions on suitable frames. This correspondence may be seen as the algebraic component of duality, in a way which is made precise.In many cases of interest, binary residuated operations are present. An operation h which, coordinatewise, preserves ∨ and 0 lifts to an operation which is residuated, even when h is not. If h also preserves binary meet then the upper adjoints behave in a functional way on the frames.     

Average locally uniform rotundity and a class of nonlinear maps

We consider some topological characterizations of dual Banach spaces that admit an equivalent dual average locally uniformly rotund norm and provide a criterion for such renorming which involves the class of σ-slicely continuous maps.     

Aglianò-Montagna type decomposition of linear pseudo hoops and its applications

We decompose every linear pseudo hoop as an Aglianò-Montagna type of ordinal sum of linear Wajsberg pseudo hoops which are either negative cones of linear ?-groups or intervals in linear unital ?-groups with strong unit. We apply the decomposition to present a new proof that every linear pseudo BL-algebra and consequently every representable pseudo BL-algebra is good. Moreover, we show that every maximal filter and every value of a linear pseudo hoop is normal, and every σ-complete linear pseudo hoop is commutative.     

Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic

In the present paper, we start studying epistemic updates using the standard toolkit of duality theory. We focus on public announcements, which are the simplest epistemic actions, and hence on Public Announcement Logic (PAL) without the common knowledge operator. As is well known, the epistemic action of publicly announcing a given proposition is semantically represented as a transformation of the model encoding the current epistemic setup of the given agents; the given current model being replaced with its submodel relativized to the announced proposition. We dually characterize the associated submodel-injection map as a certain pseudo-quotient map between the complex algebras respectively associated with the given model and with its relativized submodel. As is well known, these complex algebras are complete atomic BAOs (Boolean algebras with operators). The dual characterization we provide naturally generalizes to much wider classes of algebras, which include, but are not limited to, arbitrary BAOs and arbitrary modal expansions of Heyting algebras (HAOs). Thanks to this construction, the benefits and the wider scope of applications given by a point-free, intuitionistic theory of epistemic updates are made available. As an application of this dual characterization, we axiomatize the intuitionistic analogue of PAL, which we refer to as IPAL, prove soundness and completeness of IPAL w.r.t. both algebraic and relational models, and show that the well known Muddy Children Puzzle can be formalized in IPAL.     

Functor category dualities for varieties of Heyting algebras

Let be a finitely generated variety of Heyting algebras and let be the class of subdirectly irreducible algebras in . We prove that is dually equivalent to a category of functors from into the category of Boolean spaces. The main tool is the theory of multisorted natural dualities.     

Decomposability of free Tarski algebras

In this paper we study the direct decomposability of free Tarski algebras. We show that infinite freely generated Tarski algebras are directly indecomposable, whereas finite freely generated Tarski algebras can only be decomposed into a direct product of two factors, one of which is the two-element Tarski algebra.     

Erratum to “State-morphism MV-algebras” [Ann. Pure Appl. Logic 161 (2009) 161-173]

Recently, the first two authors characterized in Di Nola and Dvure?enskij (2009) [1] subdirectly irreducible state-morphism MV-algebras. Unfortunately, the main theorem (Theorem 5.4(ii)) has a gap in the proof of Claim 10, as the example below shows. We now present a correct characterization and its correct proof.     

Unary operations with long pre-periods

It is well known that the congruence lattice ConA of an algebra A is uniquely determined by the unary polynomial operations of A (see e.g. [K. Denecke, S.L. Wismath, Universal Algebra and Applications in Theoretical Computer Science, Chapman & Hall, CRC Press, Boca Raton, London, New York, Washington DC, 2002 [2]]). Let A be a finite algebra with |A|=n. If Imf=A or |Imf|=1 for every unary polynomial operation f of A, then A is called a permutation algebra. Permutation algebras play an important role in tame congruence theory [D. Hobby, R. McKenzie, The structure of finite algebras, Contemporary Mathematics, vol. 76, Providence, Rhode Island, 1988 [3]]. If f:A→A is not a permutation then A⊃Imf and there is a least natural number λ(f) with Imf^λ(f)=Imf^λ(f)+1. We consider unary operations with λ(f)=n-1 for n?2 and λ(f)=n-2 for n?3 and look for equivalence relations on A which are invariant with respect to such unary operations. As application we show that every finite group which has a unary polynomial operation with one of these properties is simple or has only normal subgroups of index 2.     

A variety of lattice-ordered groups containing all representable covers of the abelian variety

A small variety of representable lattice-ordered groups is constructed, which contains all of the representable covers of the abelian variety.