Joan Gispert

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 5

Top Topics

Derivation Rules

Interval Algebra

Top Venues

Fuzzy Sets Syst.

J. Log. Comput.

Publications

Miguel Campercholi, Diego Nicolás Castaño, José Patricio Díaz Varela, Joan Gispert
Algebraic Expansions of Logics. J. Symb. Log. 88 (1) (2023)
Marcelo E. Coniglio, Francesc Esteva, Joan Gispert, Lluís Godo
Maximality in finite-valued Łukasiewicz logics defined by order filters. J. Log. Comput. 29 (1) (2019)
Joan Gispert
Finitary Extensions of the Nilpotent Minimum Logic and (Almost) Structural Completeness. Stud Logica 106 (4) (2018)
Joan Gispert
Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic. Fuzzy Sets Syst. 317 (2017)
Joan Gispert
Least V-quasivarieties of MV-algebras. Fuzzy Sets Syst. 292 (2016)
Joan Gispert, Antoni Torrens
Lattice BCK logics with Modus Ponens as unique rule. Math. Log. Q. 60 (3) (2014)
Francesc Esteva, Joan Gispert, Felip Manyà
Introduction to the Special Issue of the IEEE 40th International Symposium on Multiple-Valued Logic. J. Multiple Valued Log. Soft Comput. 19 (1-3) (2012)
Francesc Esteva, Joan Gispert, Felip Manyà
Foreward. J. Multiple Valued Log. Soft Comput. 19 (4) (2012)
Petr Cintula, Francesc Esteva, Joan Gispert, Lluís Godo, Franco Montagna, Carles Noguera
Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies. Ann. Pure Appl. Log. 160 (1) (2009)
Carles Noguera, Francesc Esteva, Joan Gispert
On triangular norm based axiomatic extensions of the weak nilpotent minimum logic. Math. Log. Q. 54 (4) (2008)
Joan Gispert, Antoni Torrens
Boolean representation of bounded BCK-algebras. Soft Comput. 12 (10) (2008)
Joan Gispert
Algebraic Semantics for t-norm Based Fuzzy Logic. EUSFLAT Conf. (1) (2007)
Joan Gispert, Antoni Torrens
Bounded BCK-algebras and their generated variety. Math. Log. Q. 53 (2) (2007)
Francesc Esteva, Joan Gispert, Lluís Godo, Carles Noguera
Adding truth-constants to logics of continuous t-norms: Axiomatization and completeness results. Fuzzy Sets Syst. 158 (6) (2007)
Carles Noguera, Francesc Esteva, Joan Gispert
Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops. Arch. Math. Log. 44 (7) (2005)
Joan Gispert, Antoni Torrens
Axiomatic Extensions of IMT3 Logic. Stud Logica 81 (3) (2005)
Carles Noguera, Francesc Esteva, Joan Gispert
On varieties generated by Weak Nilpotent Minimum t-norms. EUSFLAT Conf. (2005)
Carles Noguera, Francesc Esteva, Joan Gispert
On Some Varieties of MTL-algebras. Log. J. IGPL 13 (4) (2005)
Joan Gispert
Universal Classes of MV-chains with Applications to Many-valued Logics. Math. Log. Q. 48 (4) (2002)
Francesc Esteva, Joan Gispert, Lluís Godo, Franco Montagna
On the Standard and Rational Completeness of some Axiomatic Extensions of the Monoidal T-norm Logic. Stud Logica 71 (2) (2002)
Joan Gispert, Antoni Torrens
Quasivarieties Generated by Simple MV-algebras. Stud Logica 61 (1) (1998)