Works by Esteva, Fransesc (exact spelling)

Order:
  1.  48
    Equational characterization of the subvarieties of BL generated by t-Norm algebras.Fransesc Esteva, Lluís Godo & Franco Montagna - 2004 - Studia Logica 76 (2):161 - 200.
    In this paper we show that the subvarieties of BL, the variety of BL-algebras, generated by single BL-chains on [0, 1], determined by continous t-norms, are finitely axiomatizable. An algorithm to check the subsethood relation between these subvarieties is provided, as well as another procedure to effectively find the equations of each subvariety. From a logical point of view, the latter corresponds to find the axiomatization of every residuated many-valued calculus defined by a continuous t-norm and its residuum. Actually, the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations