Skip to main content
SpringerLink
Log in

On some properties of quasi-MV algebras and \(\sqrt{^{\prime}}\) quasi-MV algebras. Part II

  • Focus
  • Published:
Soft Computing Aims and scope Submit manuscript

Abstract

The present paper is a sequel to Paoli F, Ledda A, Giuntini R, Freytes H (On some properties of QMV algebras and \(\sqrt{^{\prime}}\)QMV algebras, submitted). We provide two representation results for quasi-MV algebras in terms of MV algebras enriched with additional structure; we investigate the lattices of subvarieties and subquasivarieties of quasi-MV algebras; we show that quasi-MV algebras, as well as cartesian and flat \(\sqrt{^{\prime}}\) quasi-MV algebras, have the amalgamation property.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Aglianò P, Ursini A (1997) On subtractive varieties III. Algebra Universalis 37:296–333

    Article  MATH  MathSciNet  Google Scholar 

  • Blok WJ, Ferreirim IMA (2000) On the structure of hoops. Algebra Universalis 43:233–257

    Article  MATH  MathSciNet  Google Scholar 

  • Chajda I (1995) Normally presented varieties. Algebra Universalis 34:327–335

    Article  MATH  MathSciNet  Google Scholar 

  • Cignoli R, D’Ottaviano IML, Mundici D (1999) Algebraic foundations of many-valued reasoning. Kluwer, Dordrecht

    Google Scholar 

  • Di Nola A, Lettieri A (1999) Equational characterization of all varieties of MV algebras. J Algebra 221(2):463–474

    Article  MATH  MathSciNet  Google Scholar 

  • Galatos N (2005) Minimal varieties of residuated lattices. Algebra Universalis 52(2):215–239

    Article  MathSciNet  Google Scholar 

  • Giuntini R, Ledda A, Paoli F (2007) Expanding quasi-MV algebras by a quantum operator. Studia Logica (in press)

  • Grätzer G, Lakser H (1973) A note on the implicational class generated by a class of structures. Can Math Bull 16:603–605

    MATH  Google Scholar 

  • Gumm HP, Ursini A (1984) Ideals in universal algebra. Algebra Universalis 19:45–54

    Article  MATH  MathSciNet  Google Scholar 

  • Komori Y (1981) Super Łukasiewicz propositional logics. Nagoya Math J 84:119–133

    MATH  MathSciNet  Google Scholar 

  • Kowalski T, Ono H (2000) Splittings in the variety of residuated lattices. Algebra Universalis 44:283–298

    Article  MATH  MathSciNet  Google Scholar 

  • Ledda A, Konig M, Paoli F, Giuntini R (2006) MV algebras and quantum computation. Studia Logica 82(2):245–270

    Article  MATH  MathSciNet  Google Scholar 

  • Lewin R, Sagastume M, Massey P (2004) MV* algebras. Logic J IGPL 12(6):461–483

    Article  MATH  MathSciNet  Google Scholar 

  • Lipparini P (1995) n-Permutable varieties satisfy nontrivial congruence identities. Algebra Universalis 33(2):159–168

    Article  MATH  MathSciNet  Google Scholar 

  • McKenzie R, McNulty GF, Taylor WF (1987) Algebras, lattices, varieties. Wadsworth & Brooks-Cole, Monterey

    MATH  Google Scholar 

  • Mundici D (1987) Bounded commutative BCK algebras have the amalgamation property. Math Jpn 32:279–282

    MATH  MathSciNet  Google Scholar 

  • Paoli F, Ledda A, Giuntini R, Freytes H (submitted)On some properties of QMV algebras and \(\sqrt{^{\prime}}\)QMV algebras (submitted) downloadable from http://www.scform.unica.it/pub/docenti/116/show.jsp?id=249&iso=563&is=116 &id_corso=38

  • Salibra A (2003) Topological incompleteness and order incompleteness in lambda calculus. ACM Trans Comput Logic 4(3):379–401

    Article  MathSciNet  Google Scholar 

  • Spinks M (2003) Contributions to the theory of Pre-BCK Algebras. PhD Thesis, Monash University

  • Ursini A (1994) On subtractive varieties I. Algebra Universalis 31: 204–222

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IIIA-CSIC, Bellaterra, Spain

    Félix Bou

  2. Department of Education, University of Cagliari, Cagliari, Italy

    Francesco Paoli, Antonio Ledda & Hector Freytes

Authors
  1. Félix Bou
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Francesco Paoli
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Antonio Ledda
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Hector Freytes
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Félix Bou.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bou, F., Paoli, F., Ledda, A. et al. On some properties of quasi-MV algebras and \(\sqrt{^{\prime}}\) quasi-MV algebras. Part II. Soft Comput 12, 341–352 (2008). https://doi.org/10.1007/s00500-007-0185-8

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00500-007-0185-8

Keywords

Search

Navigation