Searcharxiv⌕ Search

arXiv subjects

Carles Noguera

Publications and source records attributed to Carles Noguera.

12 recordsLinked to original sources
arXiv2026

Fagin's Theorem for Semiring Turing Machines

In recent years, quantitative complexity over semirings has been intensively investigated. In this context, Eiter and Kiesel (Semiring Reasoning Frameworks in AI and Their Computational Complexity, J. Artif. Intell. Res., 2023) introduced non-deterministic Turing Machines with semiring-weighted transitions (SRTMs) to capture the complexity of a manifold of semiring frameworks. Beyond computational complexity, they posed the question of how we can relate the computational power of SRTMs to logical expressiveness. While this question was partially addressed for a more limited machine model by Badia et al.\ (Logical characterizations of weighted complexity classes, MFCS, 2024), the full question remained open. To answer it, we present an improved version of Eiter and Kiesel's SRTM model of computation. First and foremost, this enables us to prove a Fagin Theorem for the SRTM model, i.e., we show that the quantitative complexity class $\text{NP}_\infty(R)$, which comprises non-deterministic polynomial time computability in the improved SRTM model over a commutative semiring $R$, is captured by a version of weighted existential second-order logic that allows for predicates interpreted as semiring-annotated relations over $R$. Furthermore, we argue that the new SRTM model is preferable over the original one and show that it reclaims some important results from Eiter and Kiesel (2023) that were flawed with respect to the latter.

cs.CC↗
arXiv2026

Superabelian logics

This paper presents a unified algebraic study of a family of logics related to Abelian logic (Ab), the logic of Abelian lattice-ordered groups. We treat Ab as the base system and refer to its expansions as superabelian logics. The paper focuses on two main families of expansions. First, we investigate the rich landscape of infinitary extensions of Ab, providing an axiomatization for the infinitary logic of real numbers and showing that there exist $2^{2^ω}$ distinct logics in this family. Second, we introduce pointed Abelian logic (pAb), the logic of pointed Abelian lattice-ordered groups, by adding a new constant to the language. This framework includes Łukasiewicz unbound logic. We provide axiomatizations for its finitary and infinitary versions as extensions of pAb and establish their precise relationship with standard Łukasiewicz logic via a formal translation. Finally, the methods developed for this analysis are generalized to axiomatize the logics of other prominent pointed groups.

math.LO↗
arXiv2025

Codd's Theorem for Databases over Semirings

Codd's Theorem, a fundamental result of database theory, asserts that relational algebra and relational calculus have the same expressive power on relational databases. We explore Codd's Theorem for databases over semirings and establish two different versions of this result for such databases: the first version involves the five basic operations of relational algebra, while in the second version the division operation is added to the five basic operations of relational algebra. In both versions, the difference operation of relations is given semantics using semirings with monus, while on the side of relational calculus a limited form of negation is used. The reason for considering these two different versions of Codd's theorem is that, unlike the case of ordinary relational databases, the division operation need not be expressible in terms of the five basic operations of relational algebra for databases over an arbitrary positive semiring; in fact, we show that this inexpressibility result holds even for bag databases.

cs.LO↗
arXiv2024

Logical Characterizations of Weighted Complexity Classes

Fagin's seminal result characterizing $\mathsf{NP}$ in terms of existential second-order logic started the fruitful field of descriptive complexity theory. In recent years, there has been much interest in the investigation of quantitative (weighted) models of computations. In this paper, we start the study of descriptive complexity based on weighted Turing machines over arbitrary semirings. We provide machine-independent characterizations (over ordered structures) of the weighted complexity classes $\mathsf{NP}[\mathcal{S}], \mathsf{FP}[\mathcal{S}]$, $\mathsf{FPLOG}[\mathcal{S}]$, $\mathsf{FPSPACE}[\mathcal{S}]$, and $\mathsf{FPSPACE}_{poly}[\mathcal{S}]$ in terms of definability in suitable weighted logics for an arbitrary semiring $\mathcal{S}$. In particular, we prove weighted versions of Fagin's theorem (even for arbitrary structures, not necessarily ordered, provided that the semiring is idempotent and commutative), the Immerman--Vardi's theorem (originally for $\mathsf{P}$) and the Abiteboul--Vianu--Vardi's theorem (originally for $\mathsf{PSPACE}$). We also address a recent open problem proposed by Eiter and Kiesel.

math.LO↗
arXiv2023

Asymptotic truth-value laws in many-valued logics

This paper studies which truth-values are most likely to be taken on finite models by arbitrary sentences of a many-valued predicate logic. We obtain generalizations of Fagin's classical zero-one law for any logic with values in a finite lattice-ordered algebra, and for some infinitely valued logics, including Łukasiewicz logic. The finitely valued case is reduced to the classical one through a uniform translation and Oberschelp's generalization of Fagin's result. Moreover, it is shown that the complexity of determining the almost sure value of a given sentence is PSPACE-complete, and for some logics we may describe completely the set of truth-values that can be taken by sentences almost surely.

math.LO↗
arXiv2023

New foundations of reasoning via real-valued first-order logics

Many-valued logics in general, and fuzzy logics in particular, usually focus on a notion of consequence based on preservation of full truth, typical represented by the value 1 in the semantics given the real unit interval [0,1]. In a recent paper (\emph{Foundations of Reasoning with Uncertainty via Real-valued Logics}, arXiv:2008.02429v2, 2021), Ronald Fagin, Ryan Riegel, and Alexander Gray have introduced a new paradigm that allows to deal with inferences in propositional real-valued logics based on multi-dimensional sentences that allow to prescribe any truth-values, not just 1, for the premises and conclusion of a given entailment. In this paper, we extend their work to the first-order (as well as modal) logic of multi-dimensional sentences. We give axiomatic systems and prove corresponding completeness theorems, first assuming that the structures are defined over a fixed domain, and later for the logics of varying domains. As a by-product, we also obtain a 0-1 law for finitely-valued versions of these logics.

math.LO↗
arXiv2022

Maximality of logic without identity

Lindström theorem obviously fails as a characterization of $\mathcal{L}_{ωω}^{-} $, first-order logic without identity. In this note we provide a fix: we show that $\mathcal{L}_{ωω}^{-} $ is \emph{maximal} among abstract logics satisfying a weak form of the isomorphism property (suitable for identity-free languages and studied in \cite{Casa}), the Löwenheim--Skolem property, and compactness. Furthermore, we show that compactness can be replaced by being recursively enumerable for validity under certain conditions. In the proofs we use a form of strong upwards Löwenheim--Skolem theorem not available in the framework with identity.

math.LO↗
arXiv2022

Frame definability in finitely-valued modal logics

In this paper we study frame definability in finitely-valued modal logics and establish two main results via suitable translations: (1) in finitely-valued modal logics one cannot define more classes of frames than are already definable in classical modal logic (cf.~\citep[Thm.~8]{tho}), and (2) a large family of finitely-valued modal logics define exactly the same classes of frames as classical modal logic (including modal logics based on finite Heyting and \MV-algebras, or even \BL-algebras). In this way one may observe, for example, that the celebrated Goldblatt--Thomason theorem applies immediately to these logics. In particular, we obtain the central result from~\citep{te} with a much simpler proof and answer one of the open questions left in that paper. Moreover, the proposed translations allow us to determine the computational complexity of a big class of finitely-valued modal logics.

math.LO↗
arXiv2018

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

This paper is a contribution to graded model theory, in the context of mathematical fuzzy logic. We study characterizations of classes of graded structures in terms of the syntactic form of their first-order axiomatization. We focus on classes given by universal and universal-existential sentences. In particular, we prove two amalgamation results using the technique of diagrams in the setting of structures valued on a finite MTL-algebra, from which analogues of the Los--Tarski and the Chang--Los--Suszko preservation theorems follow.

math.LO↗
arXiv2018

Saturated Models in Mathematical Fuzzy Logic

This paper considers the problem of building saturated models for first-order graded logics. We define types as pairs of sets of formulas in one free variable which express properties that an element is expected, respectively, to satisfy and to falsify. We show, by means of an elementary chains construction, that each model can be elementarily extended to a saturated model where as many types as possible are realized. In order to prove this theorem we obtain, as by-products, some results on tableaux (understood as pairs of sets of formulas) and their consistency and satisfiability, and a generalization of the Tarski--Vaught theorem on unions of elementary chains.

math.LO↗
arXiv2018

Fraisse classes of graded relational structures

We study classes of graded structures satisfying the properties of amalgamation, joint embedding and hereditariness. Given appropriate conditions, we can build a graded analogue of the Fraisse limit. Some examples such as the class of all finite weighted graphs or the class of all finite fuzzy orders (evaluated on a particular countable algebra) will be examined.

math.LO↗