Carles Noguera

66 papers B 1C 2Journal 50Unranked 13
YearRankTypeTitle / Venue / Authors
2026 J jnl
Descriptive complexity and weighted Turing machines.
Inf. Comput.
Guillermo Badia, Manfred Droste, Carles Noguera, Erik Paul
2026 J jnl
Information types in intuitionistic predicate logic with constant domains.
Log. J. IGPL
Vít Punochár, Carles Noguera
2025 J jnl
Asymptotic Truth-Value Laws in Many-Valued Logics.
J. Symb. Log.
Guillermo Badia, Xavier Caicedo, Carles Noguera
2025 J jnl
Codd's Theorem for Databases over Semirings.
CoRR
Guillermo Badia, Phokion G. Kolaitis, Carles Noguera
2025 J jnl
Codd's Theorem for Databases over Semirings.
Proc. ACM Manag. Data
Guillermo Badia, Phokion G. Kolaitis, Carles Noguera
2025 J jnl
Fagin's Theorem for Semiring Turing Machines.
CoRR
Guillermo Badia, Manfred Droste, Thomas Eiter, Rafael Kiesel, Carles Noguera, Erik Paul
2025 — conf
Generating and counting finite FLew-chains.
FUZZ
Guillermo Badia, Riccardo Monego, Carles Noguera, Alberto Paparella, Guido Sciavicco
2025 J jnl
New Foundations of Reasoning via Real-Valued First-order Logics.
Bull. Symb. Log.
Guillermo Badia, Ronald Fagin, Carles Noguera
2025 J jnl
Semirings in Databases, Automata, and Logic (Dagstuhl Seminar 25081).
Dagstuhl Reports
Guillermo Badia, Manfred Droste, Phokion G. Kolaitis, Carles Noguera, Sophie Brinke, Lovro Mrkonjic, Gaia Petreni
2024 C conf
Fitting's Style Many-Valued Interval Temporal Logic Tableau System: Theory and Implementation.
TIME
Guillermo Badia, Carles Noguera, Alberto Paparella, Guido Sciavicco, Ionel Eduard Stan
2024 B conf
Logical Characterizations of Weighted Complexity Classes.
MFCS
Guillermo Badia, Manfred Droste, Carles Noguera, Erik Paul
2024 — conf
Many-Expert Decision Trees.
OVERLAY
Guillermo Badia, Carles Noguera, Alberto Paparella, Guido Sciavicco
2024 J jnl
Maximality of Logic without Identity.
J. Symb. Log.
Guillermo Badia, Xavier Caicedo, Carles Noguera
2023 J jnl
Frame definability in finitely valued modal logics.
Ann. Pure Appl. Log.
Guillermo Badia, Xavier Caicedo, Carles Noguera
2022 J jnl
A 0-1 Law in Mathematical Fuzzy Logic.
IEEE Trans. Fuzzy Syst.
Guillermo Badia, Carles Noguera
2022 J jnl
Saturated models of first-order many-valued logics.
Log. J. IGPL
Guillermo Badia, Carles Noguera
2021 J jnl
A General Omitting Types Theorem in Mathematical Fuzzy Logic.
IEEE Trans. Fuzzy Syst.
Guillermo Badia, Carles Noguera
2021 J jnl
Lindström theorems in graded model theory.
Ann. Pure Appl. Log.
Guillermo Badia, Carles Noguera
2020 J jnl
Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory.
Int. J. Comput. Intell. Syst.
Paolo Baldi, Petr Cintula, Carles Noguera
2019 J jnl
Many-valued Logics for Reasoning: Essays in Honor of Lluís Godo on the Occasion of his 60th Birthday.
Soft Comput.
Didier Dubois, Francesc Esteva, Tommaso Flaminio, Carles Noguera, Henri Prade, Ricardo Oscar Rodríguez
2019 J jnl
Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic.
Soft Comput.
Guillermo Badia, Vicent Costa, Pilar Dellunde, Carles Noguera
2019 J jnl
Toward a general frame semantics for modal many-valued logics.
Soft Comput.
Petr Cintula, Paula Menchón, Carles Noguera
2019 — conf
Translating Classical Probability Logics into Modal Fuzzy Logics.
EUSFLAT Conf.
Paolo Baldi, Petr Cintula, Carles Noguera
2018 J jnl
Back-and-forth systems for fuzzy first-order models.
Fuzzy Sets Syst.
Pilar Dellunde, Àngel García-Cerdaña, Carles Noguera
2018 J jnl
Extension Properties and Subdirect Representation in Abstract Algebraic Logic.
Stud Logica
Tomás Lávicka, Carles Noguera
2018 J jnl
Fraïssé classes of graded relational structures.
Theor. Comput. Sci.
Guillermo Badia, Carles Noguera
2018 J jnl
Implicational (semilinear) logics III: completeness properties.
Arch. Math. Log.
Petr Cintula, Carles Noguera
2018 J jnl
Neighborhood semantics for modal many-valued logics.
Fuzzy Sets Syst.
Petr Cintula, Carles Noguera
2018 — conf
Saturated Models in Mathematical Fuzzy Logic.
ISMVL
Guillermo Badia, Carles Noguera
2017 — conf
A Logical Framework for Graded Predicates.
LORI
Petr Cintula, Carles Noguera, Nicholas J. J. Smith
2017 J jnl
A New Hierarchy of Infinitary Logics in Abstract Algebraic Logic.
Stud Logica
Tomás Lávicka, Carles Noguera
2016 J jnl
Editorial.
Fuzzy Sets Syst.
Félix Bou, Marco Cerami, Pere Garcia, Àngel García-Cerdaña, Lluís Godo, Carles Noguera
2016 — conf
From Kripke to Neighborhood Semantics for Modal Fuzzy Logics.
IPMU (2)
Petr Cintula, Carles Noguera, Jonas Rogger
2016 J jnl
Implicational (semilinear) logics II: additional connectives and characterizations of semilinearity.
Arch. Math. Log.
Petr Cintula, Carles Noguera
2016 J jnl
Löwenheim-Skolem theorems for non-classical first-order algebraizable logics.
Log. J. IGPL
Pilar Dellunde, Àngel García-Cerdaña, Carles Noguera
2015 J jnl
A Henkin-Style Proof of Completeness for First-order Algebraizable Logics.
J. Symb. Log.
Petr Cintula, Carles Noguera
2015 J jnl
A Note on Natural Extensions in Abstract Algebraic Logic.
Stud Logica
Petr Cintula, Carles Noguera
2015 J jnl
Paraconsistency properties in degree-preserving fuzzy logics.
Soft Comput.
Rodolfo Ertola, Francesc Esteva, Tommaso Flaminio, Lluís Godo, Carles Noguera
2014 C conf
Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem.
WoLLIC
Petr Cintula, Carles Noguera
2013 J jnl
A logical approach to fuzzy truth hedges.
Inf. Sci.
Francesc Esteva, Lluís Godo, Carles Noguera
2013 — conf
Exploring Paraconsistency in Degree-Preserving Fuzzy Logics.
EUSFLAT Conf.
Rodolfo Ertola, Francesc Esteva, Tommaso Flaminio, Lluís Godo, Carles Noguera
2013 J jnl
Nonassociative Substructural Logics and their semilinear Extensions: Axiomatization and Completeness Properties.
Rev. Symb. Log.
Petr Cintula, Rostislav Horcík, Carles Noguera
2013 J jnl
The Proof by Cases Property and its Variants in Structural Consequence Relations.
Stud Logica
Petr Cintula, Carles Noguera
2013 — conf
Two-layer modal logics: from fuzzy logics to a general framework.
TACL
Petr Cintula, Carles Noguera
2011 — conf
Fuzzy logics with truth hedges revisited.
EUSFLAT Conf.
Francesc Esteva, Lluís Godo, Carles Noguera
2011 J jnl
Special Issue on Mathematical Fuzzy Logic.
J. Log. Comput.
Petr Cintula, George Metcalfe, Carles Noguera
2010 J jnl
Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics.
J. Log. Comput.
Franco Montagna, Carles Noguera
2010 J jnl
Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics.
Soft Comput.
Francesc Esteva, Lluís Godo, Carles Noguera
2010 J jnl
Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics.
Inf. Sci.
Carles Noguera, Francesc Esteva, Lluís Godo
2010 J jnl
Implicational (semilinear) logics I: a new hierarchy.
Arch. Math. Log.
Petr Cintula, Carles Noguera
2010 J jnl
On expansions of WNM t-norm based logics with truth-constants.
Fuzzy Sets Syst.
Francesc Esteva, Lluís Godo, Carles Noguera
2009 — conf
An Abstract Approach to Fuzzy Logics: implicational semilinear logics.
IFSA/EUSFLAT Conf.
Petr Cintula, Carles Noguera
2009 J jnl
Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies.
Ann. Pure Appl. Log.
Petr Cintula, Francesc Esteva, Joan Gispert, Lluís Godo, Franco Montagna, Carles Noguera
2009 J jnl
First-order t-norm based fuzzy logics with truth-constants: Distinguished semantics and completeness properties.
Ann. Pure Appl. Log.
Francesc Esteva, Lluís Godo, Carles Noguera
2008 J jnl
On triangular norm based axiomatic extensions of the weak nilpotent minimum logic.
Math. Log. Q.
Carles Noguera, Francesc Esteva, Joan Gispert
2007 J jnl
Adding truth-constants to logics of continuous t-norms: Axiomatization and completeness results.
Fuzzy Sets Syst.
Francesc Esteva, Joan Gispert, Lluís Godo, Carles Noguera
2007 J jnl
On
Math. Log. Q.
Rostislav Horcík, Carles Noguera, Milan Petrík
2007 — conf
On Completeness Results for the Expansions with Truth-constants of Some Predicate Fuzzy Logics.
EUSFLAT Conf. (2)
Francesc Esteva, Lluís Godo, Carles Noguera
2006 J jnl
On Product Logic with Truth-constants.
J. Log. Comput.
Petr Savický, Roberto Cignoli, Francesc Esteva, Lluís Godo, Carles Noguera
2006 J jnl
On Rational Weak Nilpotent Minimum Logics.
J. Multiple Valued Log. Soft Comput.
Francesc Esteva, Lluís Godo, Carles Noguera
2006 J jnl
On Weakly Cancellative Fuzzy Logics.
J. Log. Comput.
Franco Montagna, Carles Noguera, Rostislav Horcík
2005 J jnl
On Some Varieties of MTL-algebras.
Log. J. IGPL
Carles Noguera, Francesc Esteva, Joan Gispert
2005 J jnl
On the scope of some formulas defining additive connectives in fuzzy logics.
Fuzzy Sets Syst.
Àngel García-Cerdaña, Carles Noguera, Francesc Esteva
2005 — conf
On varieties generated by Weak Nilpotent Minimum t-norms.
EUSFLAT Conf.
Carles Noguera, Francesc Esteva, Joan Gispert
2005 J jnl
Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops.
Arch. Math. Log.
Carles Noguera, Francesc Esteva, Joan Gispert
2003 — conf
On definability of maximum in left-continuous t-norms.
EUSFLAT Conf.
Francesc Esteva, Àngel García-Cerdaña, Carles Noguera