Joan Gispert

发表

Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic

Joan Gispert, 2017, Fuzzy Sets Syst..

Axiomatic Extensions of IMT3 Logic

Antoni Torrens Torrell, Joan Gispert, 2005, Stud Logica.

On varieties generated by Weak Nilpotent Minimum t-norms

Carles Noguera, Francesc Esteva, Joan Gispert, 2005, EUSFLAT Conf..

On the Standard and Rational Completeness of some Axiomatic Extensions of the Monoidal T-norm Logic

Franco Montagna, Lluis Godo, Francesc Esteva, 2002, Stud Logica.

Least V-quasivarieties of MV-algebras

Joan Gispert, J. Gispert, 2016, Fuzzy Sets Syst..

Algebraic Semantics for t-norm Based Fuzzy Logic

Joan Gispert, 2007, EUSFLAT Conf..

Finitary Extensions of the Nilpotent Minimum Logic and (Almost) Structural Completeness

Joan Gispert, 2018, Stud Logica.

Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops

Carles Noguera, Francesc Esteva, Joan Gispert, 2005, Arch. Math. Log..

Foreward

Felip Manyà, Francesc Esteva, Joan Gispert, 2002, Biological Psychiatry.

Introduction to the Special Issue of the IEEE 40th International Symposium on Multiple-Valued Logic

Felip Manyà, Francesc Esteva, Joan Gispert, 2012, J. Multiple Valued Log. Soft Comput..

Adding truth-constants to logics of continuous t-norms: Axiomatization and completeness results

Lluis Godo, Carles Noguera, Francesc Esteva, 2007, Fuzzy Sets Syst..

Universal Classes of MV-chains with Applications to Many-valued Logics

Joan Gispert, J. Gispert, 2002, Math. Log. Q..

Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies

Franco Montagna, Petr Cintula, Lluis Godo, 2009, Ann. Pure Appl. Log..

On Some Varieties of MTL-algebras

Carles Noguera, Francesc Esteva, Joan Gispert, 2005, Log. J. IGPL.

Boolean representation of bounded BCK-algebras

Antoni Torrens Torrell, Joan Gispert, 2008, Soft Comput..

Bounded BCK‐algebras and their generated variety

Antoni Torrens Torrell, Joan Gispert, J. Gispert, 2007, Math. Log. Q..

Lattice BCK logics with Modus Ponens as unique rule

Antoni Torrens Torrell, Joan Gispert, 2014, Math. Log. Q..

On triangular norm based axiomatic extensions of the weak nilpotent minimum logic

Carles Noguera, Francesc Esteva, Joan Gispert, 2008, Math. Log. Q..

Quasivarieties Generated by Simple MV-algebras

Antoni Torrens Torrell, Joan Gispert, J. Gispert, 1998, Stud Logica.

Maximality in finite-valued Łukasiewicz logics defined by order filters

Lluis Godo, Francesc Esteva, Marcelo E. Coniglio, 2019, J. Log. Comput..

An approach to the variety IMTL ( 3 )

Joan Gispert, Antoni Torrens, 2004 .

Locally Finite Quasivarieties of MV-algebras

Joan Gispert, Antoni Torrens, 2014 .

MV-algebras: a variety for magnitudes with archimedean units

Daniele Mundici, Joan Gispert, D. Mundici, 2005 .

Universal Classes of MV-Chains with Applications to Many-valued Logics

Joan Gispert, 2002 .