Switch to: References

Add citations

You must login to add citations.
  1. Free Łukasiewicz implication algebras.José Patricio Díaz Varela - 2008 - Archive for Mathematical Logic 47 (1):25-33.
    Łukasiewicz implication algebras are the {→,1}-subreducts of MV- algebras. They are the algebraic counterpart of Super-Łukasiewicz Implicational Logics investigated in Komori (Nogoya Math J 72:127–133, 1978). In this paper we give a description of free Łukasiewicz implication algebras in the context of McNaughton functions. More precisely, we show that the |X|-free Łukasiewicz implication algebra is isomorphic to ${\bigcup_{x\in X} [x_\theta)}$ for a certain congruence θ over the |X|-free MV-algebra. As corollary we describe the free algebras in all subvarieties of Łukasiewicz (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation