13 found
Order:
  1.  33
    Distinguished Algebraic Semantics for T -Norm Based Fuzzy Logics: Methods and Algebraic Equivalencies.Petr Cintula, Francesc Esteva, Joan Gispert, Lluís Godo, Franco Montagna & Carles Noguera - 2009 - Annals of Pure and Applied Logic 160 (1):53-81.
    This paper is a contribution to Mathematical fuzzy logic, in particular to the algebraic study of t-norm based fuzzy logics. In the general framework of propositional core and Δ-core fuzzy logics we consider three properties of completeness with respect to any semantics of linearly ordered algebras. Useful algebraic characterizations of these completeness properties are obtained and their relations are studied. Moreover, we concentrate on five kinds of distinguished semantics for these logics–namely the class of algebras defined over the real unit (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  2.  40
    On the Standard and Rational Completeness of Some Axiomatic Extensions of the Monoidal T-Norm Logic.Francesc Esteva, Joan Gispert, Lluís Godo & Franco Montagna - 2002 - Studia Logica 71 (2):199 - 226.
    The monoidal t-norm based logic MTL is obtained from Hájek''s Basic Fuzzy logic BL by dropping the divisibility condition for the strong (or monoidal) conjunction. Recently, Jenei and Montgana have shown MTL to be standard complete, i.e. complete with respect to the class of residuated lattices in the real unit interval [0,1] defined by left-continuous t-norms and their residua. Its corresponding algebraic semantics is given by pre-linear residuated lattices. In this paper we address the issue of standard and rational completeness (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  3.  15
    On the Standard and Rational Completeness of Some Axiomatic Extensions of the Monoidal T-Norm Logic.Francesc Esteva, Joan Gispert, Lluís Godo & Franco Montagna - 2002 - Studia Logica 71 (2):199-226.
    The monoidal t-norm based logic MTL is obtained from Hájek's Basic Fuzzy logic BL by dropping the divisibility condition for the strong conjunction. Recently, Jenei and Montgana have shown MTL to be standard complete, i.e. complete with respect to the class of residuated lattices in the real unit interval [0, 1] defined by left-continuous t-norms and their residua. Its corresponding algebraic semantics is given by pre-linear residuated lattices. In this paper we address the issue of standard and rational completeness of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  4.  39
    Perfect and Bipartite IMTL-Algebras and Disconnected Rotations of Prelinear Semihoops.Carles Noguera, Francesc Esteva & Joan Gispert - 2005 - Archive for Mathematical Logic 44 (7):869-886.
    IMTL logic was introduced in [12] as a generalization of the infinitely-valued logic of Lukasiewicz, and in [11] it was proved to be the logic of left-continuous t-norms with an involutive negation and their residua. The structure of such t-norms is still not known. Nevertheless, Jenei introduced in [20] a new way to obtain rotation-invariant semigroups and, in particular, IMTL-algebras and left-continuous t-norm with an involutive negation, by means of the disconnected rotation method. In order to give an algebraic interpretation (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  5. Maximality in Finite-Valued Lukasiewicz Logics Defined by Order Filters.Marcelo E. Coniglio, Francesc Esteva, Joan Gispert & Lluis Godo - 2019 - Journal of Logic and Computation 29 (1):125-156.
  6.  20
    On Triangular Norm Based Axiomatic Extensions of the Weak Nilpotent Minimum Logic.Carles Noguera, Francesc Esteva & Joan Gispert - 2008 - Mathematical Logic Quarterly 54 (4):387-409.
    In this paper we carry out an algebraic investigation of the weak nilpotent minimum logic and its t-norm based axiomatic extensions. We consider the algebraic counterpart of WNM, the variety of WNM-algebras and prove that it is locally finite, so all its subvarieties are generated by finite chains. We give criteria to compare varieties generated by finite families of WNM-chains, in particular varieties generated by standard WNM-chains, or equivalently t-norm based axiomatic extensions of WNM, and we study their standard completeness (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  7.  16
    Bounded BCK‐Algebras and Their Generated Variety.Joan Gispert & Antoni Torrens - 2007 - Mathematical Logic Quarterly 53 (2):206-213.
    In this paper we prove that the equational class generated by bounded BCK-algebras is the variety generated by the class of finite simple bounded BCK-algebras. To obtain these results we prove that every simple algebra in the equational class generated by bounded BCK-algebras is also a relatively simple bounded BCK-algebra. Moreover, we show that every simple bounded BCK-algebra can be embedded into a simple integral commutative bounded residuated lattice. We extend our main results to some richer subreducts of the class (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  8.  21
    Universal Classes of MV-Chains with Applications to Many-Valued Logics.Joan Gispert - 2002 - Mathematical Logic Quarterly 48 (4):582-601.
    In this paper we characterize, classify and axiomatize all universal classes of MV-chains. Moreover, we accomplish analogous characterization, classification and axiomatization for congruence distributive quasivarieties of MV-algebras. Finally, we apply those results to study some finitary extensions of the Łukasiewicz infinite valued propositional calculus.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  4
    Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and Paraconsistency.Marcelo E. Coniglio, Francesc Esteva, Joan Gispert & Lluis Godo - 2021 - In Ofer Arieli & Anna Zamansky (eds.), Arnon Avron on Semantics and Proof Theory of Non-Classical Logics. Springer Verlag. pp. 107-139.
    In this paper we study intermediate logics between the logic G≤∼, the degree preserving companion of Gödel fuzzy logic with involution G∼ and classical propositional logic CPL, as well as the intermediate logics of their finite-valued counterparts G≤n∼. Although G≤∼ and G≤ are explosive w.r.t. Gödel negation ¬, they are paraconsistent w.r.t. the involutive negation ∼. We introduce the notion of saturated paraconsistency, a weaker notion than ideal paraconsistency, and we fully characterize the ideal and the saturated paraconsistent logics between (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  27
    Axiomatic Extensions of IMT3 Logic.Joan Gispert & Antoni Torrens - 2005 - Studia Logica 81 (3):311-324.
    In this paper we characterize, classify and axiomatize all axiomatic extensions of the IMT3 logic. This logic is the axiomatic extension of the involutive monoidal t-norm logic given by ¬φ3 ∨ φ. For our purpose we study the lattice of all subvarieties of the class IMT3, which is the variety of IMTL-algebras given by the equation ¬(x 3) ∨ x ≈ ⊤, and it is the algebraic counterpart of IMT3 logic. Since every subvariety of IMT3 is generated by their totally (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  9
    Finitary Extensions of the Nilpotent Minimum Logic and (Almost) Structural Completeness.Joan Gispert - 2018 - Studia Logica 106 (4):789-808.
    In this paper we study finitary extensions of the nilpotent minimum logic or equivalently quasivarieties of NM-algebras. We first study structural completeness of NML, we prove that NML is hereditarily almost structurally complete and moreover NM\, the axiomatic extension of NML given by the axiom \^{2}\leftrightarrow ^{2})^{2}\), is hereditarily structurally complete. We use those results to obtain the full description of the lattice of all quasivarieties of NM-algebras which allow us to characterize and axiomatize all finitary extensions of NML.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  21
    Quasivarieties Generated by Simple MV-Algebras.Joan Gispert & Antoni Torrens - 1998 - Studia Logica 61 (1):79-99.
    In this paper we show that the quasivariety generated by an infinite simple MV-algebra only depends on the rationals which it contains. We extend this property to arbitrary families of simple MV-algebras.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  13.  8
    Lattice BCK Logics with Modus Ponens as Unique Rule.Joan Gispert & Antoni Torrens - 2014 - Mathematical Logic Quarterly 60 (3):230-238.