Carles Noguera

Orcid: 0000-0003-4910-599X

Affiliations:
  • University of Siena, Italy


According to our database1, Carles Noguera authored at least 53 papers between 2003 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Frame definability in finitely valued modal logics.
Ann. Pure Appl. Log., July, 2023

2022
A 0-1 Law in Mathematical Fuzzy Logic.
IEEE Trans. Fuzzy Syst., 2022

Saturated models of first-order many-valued logics.
Log. J. IGPL, 2022

2021
A General Omitting Types Theorem in Mathematical Fuzzy Logic.
IEEE Trans. Fuzzy Syst., 2021

Lindström theorems in graded model theory.
Ann. Pure Appl. Log., 2021

2020
Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory.
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.
Soft Comput., 2019

Toward a general frame semantics for modal many-valued logics.
Soft Comput., 2019

Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic.
Soft Comput., 2019

Translating Classical Probability Logics into Modal Fuzzy Logics.
Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology, 2019

2018
Fraïssé classes of graded relational structures.
Theor. Comput. Sci., 2018

Extension Properties and Subdirect Representation in Abstract Algebraic Logic.
Stud Logica, 2018

Back-and-forth systems for fuzzy first-order models.
Fuzzy Sets Syst., 2018

Neighborhood semantics for modal many-valued logics.
Fuzzy Sets Syst., 2018

Implicational (semilinear) logics III: completeness properties.
Arch. Math. Log., 2018

Saturated Models in Mathematical Fuzzy Logic.
Proceedings of the 48th IEEE International Symposium on Multiple-Valued Logic, 2018

2017
A New Hierarchy of Infinitary Logics in Abstract Algebraic Logic.
Stud Logica, 2017

A Logical Framework for Graded Predicates.
Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

2016
Löwenheim-Skolem theorems for non-classical first-order algebraizable logics.
Log. J. IGPL, 2016

Editorial.
Fuzzy Sets Syst., 2016

Implicational (semilinear) logics II: additional connectives and characterizations of semilinearity.
Arch. Math. Log., 2016

From Kripke to Neighborhood Semantics for Modal Fuzzy Logics.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2016

2015
Paraconsistency properties in degree-preserving fuzzy logics.
Soft Comput., 2015

A Note on Natural Extensions in Abstract Algebraic Logic.
Stud Logica, 2015

A Henkin-Style Proof of Completeness for First-order Algebraizable Logics.
J. Symb. Log., 2015

2014
Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem.
Proceedings of the Logic, Language, Information, and Computation, 2014

2013
The Proof by Cases Property and its Variants in Structural Consequence Relations.
Stud Logica, 2013

Nonassociative Substructural Logics and their semilinear Extensions: Axiomatization and Completeness Properties.
Rev. Symb. Log., 2013

A logical approach to fuzzy truth hedges.
Inf. Sci., 2013

Two-layer modal logics: from fuzzy logics to a general framework.
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.
Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology, 2013

2011
Special Issue on Mathematical Fuzzy Logic.
J. Log. Comput., 2011

Fuzzy logics with truth hedges revisited.
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.
Soft Comput., 2010

Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics.
J. Log. Comput., 2010

Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics.
Inf. Sci., 2010

On expansions of WNM t-norm based logics with truth-constants.
Fuzzy Sets Syst., 2010

Implicational (semilinear) logics I: a new hierarchy.
Arch. Math. Log., 2010

2009
First-order t-norm based fuzzy logics with truth-constants: Distinguished semantics and completeness properties.
Ann. Pure Appl. Log., 2009

Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies.
Ann. Pure Appl. Log., 2009

An Abstract Approach to Fuzzy Logics: implicational semilinear logics.
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.
Math. Log. Q., 2008

2007
On <i>n</i>-contractive fuzzy logics.
Math. Log. Q., 2007

Adding truth-constants to logics of continuous t-norms: Axiomatization and completeness results.
Fuzzy Sets Syst., 2007

On Completeness Results for the Expansions with Truth-constants of Some Predicate Fuzzy Logics.
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.
J. Multiple Valued Log. Soft Comput., 2006

On Product Logic with Truth-constants.
J. Log. Comput., 2006

On Weakly Cancellative Fuzzy Logics.
J. Log. Comput., 2006

2005
On Some Varieties of MTL-algebras.
Log. J. IGPL, 2005

On the scope of some formulas defining additive connectives in fuzzy logics.
Fuzzy Sets Syst., 2005

Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops.
Arch. Math. Log., 2005

On varieties generated by Weak Nilpotent Minimum t-norms.
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.
Proceedings of the 3rd Conference of the European Society for Fuzzy Logic and Technology, 2003


  Loading...