Carles Noguera

According to our database, Carles Noguera authored at least 56 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Maximality of Logic without Identity.

Guillermo Badia, Xavier Caicedo, Carles Noguera

J. Symb. Log., 2024

Fitting's Style Many-Valued Interval Temporal Logic Tableau System: Theory and Implementation.

Guillermo Badia, Carles Noguera, Alberto Paparella, Guido Sciavicco, Ionel Eduard Stan

Proceedings of the 31st International Symposium on Temporal Representation and Reasoning, 2024

Logical Characterizations of Weighted Complexity Classes.

Guillermo Badia, Manfred Droste, Carles Noguera, Erik Paul

Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024

2023

Frame definability in finitely valued modal logics.

Guillermo Badia, Xavier Caicedo, Carles Noguera

Ann. Pure Appl. Log., July, 2023

2022

A 0-1 Law in Mathematical Fuzzy Logic.

Guillermo Badia, Carles Noguera

IEEE Trans. Fuzzy Syst., 2022

Saturated models of first-order many-valued logics.

Guillermo Badia, Carles Noguera

Log. J. IGPL, 2022

2021

A General Omitting Types Theorem in Mathematical Fuzzy Logic.

Guillermo Badia, Carles Noguera

IEEE Trans. Fuzzy Syst., 2021

Lindström theorems in graded model theory.

Guillermo Badia, Carles Noguera

Ann. Pure Appl. Log., 2021

2020

Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory.

Paolo Baldi, Petr Cintula, Carles Noguera

Int. J. Comput. Intell. Syst., 2020

2019

Many-valued Logics for Reasoning: Essays in Honor of Lluís Godo on the Occasion of his 60th Birthday.

Didier Dubois, Francesc Esteva, Tommaso Flaminio, Carles Noguera, Henri Prade, Ricardo Oscar Rodríguez

Soft Comput., 2019

Toward a general frame semantics for modal many-valued logics.

Petr Cintula, Paula Menchón, Carles Noguera

Soft Comput., 2019

Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic.

Guillermo Badia, Vicent Costa, Pilar Dellunde, Carles Noguera

Soft Comput., 2019

Translating Classical Probability Logics into Modal Fuzzy Logics.

Paolo Baldi, Petr Cintula, Carles Noguera

Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology, 2019

2018

Fraïssé classes of graded relational structures.

Guillermo Badia, Carles Noguera

Theor. Comput. Sci., 2018

Extension Properties and Subdirect Representation in Abstract Algebraic Logic.

Tomás Lávicka, Carles Noguera

Stud Logica, 2018

Back-and-forth systems for fuzzy first-order models.

Pilar Dellunde, Àngel García-Cerdaña, Carles Noguera

Fuzzy Sets Syst., 2018

Neighborhood semantics for modal many-valued logics.

Petr Cintula, Carles Noguera

Fuzzy Sets Syst., 2018

Implicational (semilinear) logics III: completeness properties.

Petr Cintula, Carles Noguera

Arch. Math. Log., 2018

Saturated Models in Mathematical Fuzzy Logic.

Guillermo Badia, Carles Noguera

Proceedings of the 48th IEEE International Symposium on Multiple-Valued Logic, 2018

2017

A New Hierarchy of Infinitary Logics in Abstract Algebraic Logic.

Tomás Lávicka, Carles Noguera

Stud Logica, 2017

A Logical Framework for Graded Predicates.

Petr Cintula, Carles Noguera, Nicholas J. J. Smith

Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

2016

Löwenheim-Skolem theorems for non-classical first-order algebraizable logics.

Pilar Dellunde, Àngel García-Cerdaña, Carles Noguera

Log. J. IGPL, 2016

Editorial.

Félix Bou, Marco Cerami, Pere Garcia, Àngel García-Cerdaña, Lluís Godo, Carles Noguera

Fuzzy Sets Syst., 2016

Implicational (semilinear) logics II: additional connectives and characterizations of semilinearity.

Petr Cintula, Carles Noguera

Arch. Math. Log., 2016

From Kripke to Neighborhood Semantics for Modal Fuzzy Logics.

Petr Cintula, Carles Noguera, Jonas Rogger

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

2015

Paraconsistency properties in degree-preserving fuzzy logics.

Rodolfo Ertola, Francesc Esteva, Tommaso Flaminio, Lluís Godo, Carles Noguera

Soft Comput., 2015

A Note on Natural Extensions in Abstract Algebraic Logic.

Petr Cintula, Carles Noguera

Stud Logica, 2015

A Henkin-Style Proof of Completeness for First-order Algebraizable Logics.

Petr Cintula, Carles Noguera

J. Symb. Log., 2015

2014

Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem.

Petr Cintula, Carles Noguera

Proceedings of the Logic, Language, Information, and Computation, 2014

2013

The Proof by Cases Property and its Variants in Structural Consequence Relations.

Petr Cintula, Carles Noguera

Stud Logica, 2013

Nonassociative Substructural Logics and their semilinear Extensions: Axiomatization and Completeness Properties.

Petr Cintula, Rostislav Horcík, Carles Noguera

Rev. Symb. Log., 2013

A logical approach to fuzzy truth hedges.

Francesc Esteva, Lluís Godo, Carles Noguera

Inf. Sci., 2013

Two-layer modal logics: from fuzzy logics to a general framework.

Petr Cintula, Carles Noguera

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

Exploring Paraconsistency in Degree-Preserving Fuzzy Logics.

Rodolfo Ertola, Francesc Esteva, Tommaso Flaminio, Lluís Godo, Carles Noguera

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

2011

Special Issue on Mathematical Fuzzy Logic.

Petr Cintula, George Metcalfe, Carles Noguera

J. Log. Comput., 2011

Fuzzy logics with truth hedges revisited.

Francesc Esteva, Lluís Godo, Carles Noguera

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.

Francesc Esteva, Lluís Godo, Carles Noguera

Soft Comput., 2010

Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics.

Franco Montagna, Carles Noguera

J. Log. Comput., 2010

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

Carles Noguera, Francesc Esteva, Lluís Godo

Inf. Sci., 2010

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

Francesc Esteva, Lluís Godo, Carles Noguera

Fuzzy Sets Syst., 2010

Implicational (semilinear) logics I: a new hierarchy.

Petr Cintula, Carles Noguera

Arch. Math. Log., 2010

2009

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

Francesc Esteva, Lluís Godo, Carles Noguera

Ann. Pure Appl. Log., 2009

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

Ann. Pure Appl. Log., 2009

An Abstract Approach to Fuzzy Logics: implicational semilinear logics.

Petr Cintula, Carles Noguera

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.

Carles Noguera, Francesc Esteva, Joan Gispert

Math. Log. Q., 2008

2007

On <i>n</i>-contractive fuzzy logics.

Rostislav Horcík, Carles Noguera, Milan Petrík

Math. Log. Q., 2007

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

Francesc Esteva, Joan Gispert, Lluís Godo, Carles Noguera

Fuzzy Sets Syst., 2007

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

Francesc Esteva, Lluís Godo, Carles Noguera

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.

Francesc Esteva, Lluís Godo, Carles Noguera

J. Multiple Valued Log. Soft Comput., 2006

On Product Logic with Truth-constants.

Petr Savický, Roberto Cignoli, Francesc Esteva, Lluís Godo, Carles Noguera

J. Log. Comput., 2006

On Weakly Cancellative Fuzzy Logics.

Franco Montagna, Carles Noguera, Rostislav Horcík

J. Log. Comput., 2006

2005

On Some Varieties of MTL-algebras.

Carles Noguera, Francesc Esteva, Joan Gispert

Log. J. IGPL, 2005

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

Àngel García-Cerdaña, Carles Noguera, Francesc Esteva

Fuzzy Sets Syst., 2005

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

Carles Noguera, Francesc Esteva, Joan Gispert

Arch. Math. Log., 2005

On varieties generated by Weak Nilpotent Minimum t-norms.

Carles Noguera, Francesc Esteva, Joan Gispert

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

2003

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

Francesc Esteva, Àngel García-Cerdaña, Carles Noguera

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