Towards the generalization of Mundici ’ s Γ functor to IMTL algebras : the linearly ordered case ∗

@inproceedings{Esteva2007TowardsTG,
  title={Towards the generalization of Mundici ’ s Γ functor to IMTL algebras : the linearly ordered case ∗},
  author={Francesc Esteva},
  year={2007}
}
Mundici’s Γ functor establishes a categorical equivalence between MValgebras and lattice-ordered Abelian groups with a strong unit. In this short note we present a first step towards the generalization of such a relationship when we replace MV-algebras by weaker structures obtained by dropping the divisibility condition. These structures are the so-called involutive monoidal t-norm based algebras, IMTL-algebras for short. In this paper we restrict ourselves to linearly ordered IMTL-algebras… CONTINUE READING

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 10 references

Pseudo MV-algebras are intervals in l-groups

  • A. Dvurečenskij
  • J. Austr. Math. Soc
  • 2002
1 Excerpt

Commutative, residuated l-monoids. In Non-Classical Logics and Their Applications to Fuzzy Subsets (U

  • U. Höhle
  • Höhle and E.P. Klement eds.), Kluwer Acad. Publ…
  • 1995
3 Excerpts

Interpretation of AF C*-algebras in Lukasiewicz sentential calculus

  • D. Mundici
  • Journal of Functional Analysis
  • 1986
2 Excerpts

Predicate and set theoretic calculi on logic without contraction

  • V. N. Grĭsin
  • Math. USSR Izv
  • 1982
1 Excerpt

A new proof of the completeness of the Lukasiewicz axioms

  • C. C. Chang
  • Transactions of the American Mathematical Society
  • 1959
3 Excerpts

Generalized MV - algebras Predicate and set theoretic calculi on logic without contraction

  • C. Tsinakis
  • Math . USSR Izv

Similar Papers

Loading similar papers…