Francesc Esteva

Amanda Vidal

Proceedings of the Recent Advances in Artificial Intelligence Research and Development, 2017

A Modal Account of Preference in a Fuzzy Setting.

[BibT_eX]

[DOI]

Amanda Vidal

Proceedings of the Soft Computing Based Optimization and Decision Models, 2017

2016

On the Equational Characterization of Continuous t-Norms.

[BibT_eX]

[DOI]

Proceedings of the On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory, 2016

Logics for Approximate Entailment in ordered universes of discourse.

[BibT_eX]

[DOI]

Thomas Vetterlein

Int. J. Approx. Reason., 2016

On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics.

[BibT_eX]

[DOI]

Marcelo E. Coniglio

Log. J. IGPL, 2016

Possibilistic Semantics for a Modal KD45 Extension of Gödel Fuzzy Logic.

[BibT_eX]

[DOI]

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2016

On a Three-Valued Logic to Reason with Prototypes and Counterexamples and a Similarity-Based Generalization.

[BibT_eX]

[DOI]

Soma Dutta

Proceedings of the Advances in Artificial Intelligence, 2016

Smooth Finite T-norms and Their Equational Axiomatization.

[BibT_eX]

[DOI]

Proceedings of the Fuzzy Logic and Information Fusion, 2016

2015

A Short Tribute to Enric Trillas Homage.

[BibT_eX]

[DOI]

Proceedings of the Accuracy and Fuzziness. A Life in Science and Politics, 2015

Paraconsistency properties in degree-preserving fuzzy logics.

[BibT_eX]

[DOI]

Soft Comput., 2015

On Strongly Standard Complete Fuzzy Logics: MTLQ* and its Expansions.

[BibT_eX]

Amanda Vidal

Proceedings of the 2015 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology (IFSA-EUSFLAT-15), 2015

On Conjectures in t-Norm Based Fuzzy Logics.

[BibT_eX]

[DOI]

Itziar García-Honrado

Proceedings of the Enric Trillas: A Passion for Fuzzy Sets, 2015

2014

On finitely-valued Fuzzy Description Logics.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2014

Logics of formal inconsistency arising from systems of fuzzy logic.

[BibT_eX]

[DOI]

Marcelo E. Coniglio

Log. J. IGPL, 2014

2013

A logical approach to fuzzy truth hedges.

[BibT_eX]

[DOI]

Inf. Sci., 2013

On elementary equivalence in fuzzy predicate logics.

[BibT_eX]

[DOI]

Pilar Dellunde

Arch. Math. Log., 2013

On the Implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management - 7th International Conference, 2013

Exploring Paraconsistency in Degree-Preserving Fuzzy Logics.

[BibT_eX]

[DOI]

Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology, 2013

Fuzzy Set-Based Approximate Reasoning and Mathematical Fuzzy Logic.

[BibT_eX]

[DOI]

Proceedings of the On Fuzziness - A Homage to Lotfi A. Zadeh - Volume 1, 2013

2012

Foreward.

[BibT_eX]

[DOI]

Felip Manyà

J. Multiple Valued Log. Soft Comput., 2012

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

[BibT_eX]

[DOI]

Felip Manyà

J. Multiple Valued Log. Soft Comput., 2012

Logics preserving degrees of truth from varieties of residuated lattices.

[BibT_eX]

[DOI]

J. Log. Comput., 2012

Interpolation of fuzzy data: Analytical approach and overview.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2012

Logics for approximate and strong entailments.

[BibT_eX]

[DOI]

Thomas Vetterlein

Fuzzy Sets Syst., 2012

On Finitely Valued Fuzzy Description Logics: The Łukasiewicz Case.

[BibT_eX]

[DOI]

Proceedings of the Advances on Computational Intelligence, 2012

2011

On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice.

[BibT_eX]

[DOI]

J. Log. Comput., 2011

Strict core fuzzy logics and quasi-witnessed models.

[BibT_eX]

[DOI]

Arch. Math. Log., 2011

Finite-Valued Lukasiewicz Modal Logic Is PSPACE-Complete.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Fuzzy logics with truth hedges revisited.

[BibT_eX]

[DOI]

Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology, 2011

2010

Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics.

[BibT_eX]

[DOI]

Soft Comput., 2010

Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics.

[BibT_eX]

[DOI]

Inf. Sci., 2010

Fuzzy Description Logics and t-norm based fuzzy logics.

[BibT_eX]

[DOI]

Eva Armengol

Int. J. Approx. Reason., 2010

On expansions of WNM t-norm based logics with truth-constants.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2010

Decidability of a Description Logic over Infinite-Valued Product Logic.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

On Elementary Extensions in Fuzzy Predicate Logics.

[BibT_eX]

[DOI]

Pilar Dellunde

Proceedings of the Computational Intelligence for Knowledge-Based Systems Design, 2010

From classical Description Logic to n-graded Fuzzy Description Logic.

[BibT_eX]

[DOI]

Proceedings of the FUZZ-IEEE 2010, 2010

2009

First-order t-norm based fuzzy logics with truth-constants: Distinguished semantics and completeness properties.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2009

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

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2009

Commutative integral bounded residuated lattices with an added involution.

[BibT_eX]

[DOI]

Roberto Cignoli

Ann. Pure Appl. Log., 2009

On Triangular Norm Based Fuzzy Description Logics.

[BibT_eX]

[DOI]

Eva Armengol

Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference, 2009

Characterizing Fuzzy Modal Semantics by Fuzzy Multimodal Systems with Crisp Accessibility Relations.

[BibT_eX]

[DOI]

Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference, 2009

2008

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

[BibT_eX]

[DOI]

Math. Log. Q., 2008

On Fuzzy Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence Research and Development, 2008

2007

Fuzzy-set based logics - an history-oriented presentation of their main developments.

[BibT_eX]

[DOI]

Proceedings of the Many Valued and Nonmonotonic Turn in Logic, 2007

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

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2007

On Lukasiewicz Logic with Truth Constants.

[BibT_eX]

[DOI]

Roberto Cignoli

Proceedings of the Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, 2007

On Completeness Results for the Expansions with Truth-constants of Some Predicate Fuzzy Logics.

[BibT_eX]

[DOI]

Proceedings of the New Dimensions in Fuzzy Logic and Related Technologies. Proceedings of the 5th EUSFLAT Conference, 2007

Modal Systems Based on Many-valued Logics.

[BibT_eX]

[DOI]

Proceedings of the New Dimensions in Fuzzy Logic and Related Technologies. Proceedings of the 5th EUSFLAT Conference, 2007

2006

On Rational Weak Nilpotent Minimum Logics.

[BibT_eX]

[DOI]

J. Multiple Valued Log. Soft Comput., 2006

On Product Logic with Truth-constants.

[BibT_eX]

[DOI]

J. Log. Comput., 2006

Towards the Generalization of Mundici's Gamma Functor to IMTL Algebras: The Linearly Ordered Case.

[BibT_eX]

[DOI]

Proceedings of the Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006

2005

Varieties of BL-algebras.

[BibT_eX]

[DOI]

Soft Comput., 2005

Foreword.

[BibT_eX]

[DOI]

Soft Comput., 2005

On Some Varieties of MTL-algebras.

[BibT_eX]

[DOI]

Log. J. IGPL, 2005

On the scope of some formulas defining additive connectives in fuzzy logics.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2005

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

[BibT_eX]

[DOI]

Arch. Math. Log., 2005

On varieties generated by Weak Nilpotent Minimum t-norms.

[BibT_eX]

[DOI]

Proceedings of the Joint 4th Conference of the European Society for Fuzzy Logic and Technology and the 11th Rencontres Francophones sur la Logique Floue et ses Applications, 2005

Fuzzy Multivalued Logics and T-Norms.

[BibT_eX]

[DOI]

Bernadette Bouchon-Meunier

Proceedings of the Joint 4th Conference of the European Society for Fuzzy Logic and Technology and the 11th Rencontres Francophones sur la Logique Floue et ses Applications, 2005

A principled approach to fuzzy rule base interpolation using similarity relations.

[BibT_eX]

[DOI]

Proceedings of the Joint 4th Conference of the European Society for Fuzzy Logic and Technology and the 11th Rencontres Francophones sur la Logique Floue et ses Applications, 2005

2004

On Learning Similarity Relations in Fuzzy Case-Based Reasoning.

[BibT_eX]

[DOI]

Trans. Rough Sets, 2004

Equational Characterization of the Subvarieties of BL Generated by t-norm Algebras.

[BibT_eX]

[DOI]

Franco Montagna

Stud Logica, 2004

2003

Hoops and Fuzzy Logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2003

On implicative closure operators in approximate reasoning.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2003

A Fuzzy Modal Logic for Belief Functions.

[BibT_eX]

[DOI]

Petr Hájek

Fundam. Informaticae, 2003

Axiomatization of Anz Residuated Fuzzy Logic Defined bz a Continuous T-norm.

[BibT_eX]

[DOI]

Franco Montagna

Proceedings of the Fuzzy Sets and Systems - IFSA 2003, 10th International Fuzzy Systems Association World Congress, Istanbul, Turkey, June 30, 2003

On definability of maximum in left-continuous t-norms.

[BibT_eX]

[DOI]

Proceedings of the 3rd Conference of the European Society for Fuzzy Logic and Technology, 2003

2002

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

[BibT_eX]

[DOI]

Stud Logica, 2002

On a class of left-continuous t-norms.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2002

Subvarieties of BL-algebras generated by single-component chains.

[BibT_eX]

[DOI]

Arch. Math. Log., 2002

The Variety Generated by Perfect BL-Algebras: an Algebraic Approach in a Fuzzy Logic Setting.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2002

2001

Monoidal t-norm based logic: towards a logic for left-continuous t-norms.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2001

Systems of ordinal fuzzy logic with application to preference modelling.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2001

The LPL\Pi and LP1/2 L Pi 1/2 logics: two complete fuzzy systems joining Lukasiewicz and Product Logics.

[BibT_eX]

[DOI]

Franco Montagna

Arch. Math. Log., 2001

On Complete Residuated Many-Valued Logics with T-Norm Conjunction.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic, 2001

An Information-Based Discussion of Vagueness.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Conference on Fuzzy Systems, 2001

Fuzzy similarity-based models in case-based reasoning.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference in Fuzzy Logic and Technology, 2001

2000

Basic Fuzzy Logic is the logic of continuous t-norms and their residua.

[BibT_eX]

[DOI]

Soft Comput., 2000

Residuated fuzzy logics with an involutive negation.

[BibT_eX]

[DOI]

Arch. Math. Log., 2000

1999

Theory and application of multiple-valued logics for knowledge-based systems.

[BibT_eX]

[DOI]

José Antonio Reyes

Josep Puyol-Gruart

Proceedings of the EUSFLAT-ESTYLF Joint Conference, 1999

QBL: towards a logic for left-continuous t-norms.

[BibT_eX]

[DOI]

Proceedings of the EUSFLAT-ESTYLF Joint Conference, 1999

1998

A Logical Approach to Case-Based Reasoning using Fuzzy Similarity relations.

[BibT_eX]

[DOI]

Inf. Sci., 1998

Fuzzy set modelling in case-based reasoning.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 1998

Map Generation by Cooperative Low-Cost Robots in Structured Unknown Environments.

[BibT_eX]

[DOI]

Maite López-Sánchez

Carles Sierra

Josep Amat

Auton. Robots, 1998

1997

A modal account of similarity-based reasoning.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 1997

Editorial.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 1997

A logical approach to interpolation based on similarity relations.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 1997

Case-Based Reasoning: A Fuzzy Approach.

[BibT_eX]

[DOI]

Henri Prade

Proceedings of the Fuzzy Logic in Artificial Intelligence, 1997

Fuzzy Modelling of Case-Based Reasoning and Decision.

[BibT_eX]

[DOI]

Henri Prade

Proceedings of the Case-Based Reasoning Research and Development, 1997

Generation of Unknown Environment Maps by Cooperative Low-Cost Robots.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Autonomous Agents, 1997

1996

A complete many-valued logic with product-conjunction.

[BibT_eX]

[DOI]

Petr Hájek

Arch. Math. Log., 1996

1995

On Ockham algebras: congruence lattices and subdirectly irreducible algebras.

[BibT_eX]

[DOI]

Stud Logica, 1995

Fuzzy logic and probability.

[BibT_eX]

[DOI]

Petr Hájek

Proceedings of the UAI '95: Proceedings of the Eleventh Annual Conference on Uncertainty in Artificial Intelligence, 1995

Similarity-based Consequence Relations.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1995

1994

Local multi-valued logics in modular expert systems.

[BibT_eX]

[DOI]

Carles Sierra

J. Exp. Theor. Artif. Intell., 1994

Enriched Interval Bilattices and Partial Many-Valued Logics: an Approach to Deal with Graded Truth and Imprecision.

[BibT_eX]

[DOI]

Pere Garcia-Calvés

Int. J. Uncertain. Fuzziness Knowl. Based Syst., 1994

Relating and extending semantical approaches to possibilistic reasoning.

[BibT_eX]

[DOI]