Buchumschlag

Preservation Theorems in Semiring Semantics

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Brinke, Sophie, Dawar, Anuj, Grädel, Erich, Pago, Benedikt
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Symmetric Proofs in the Ideal Proof System
von: Dawar, Anuj, et al.
Veröffentlicht: (2025)

Locality Theorems in Semiring Semantics
von: Bizière, Clotilde, et al.
Veröffentlicht: (2023)

Provenance Analysis and Semiring Semantics for First-Order Logic
von: Grädel, Erich, et al.
Veröffentlicht: (2024)

Arity hierarchies for quantifiers closed under partial polymorphisms
von: Dawar, Anuj, et al.
Veröffentlicht: (2025)

Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials
von: Grädel, Erich, et al.
Veröffentlicht: (2021)

Choiceless Computation and Symmetry: Limitations of Definability
von: Pago, Benedikt
Veröffentlicht: (2024)

Optimal Lower Bounds for Symmetric Modular Circuits
von: Pago, Benedikt
Veröffentlicht: (2026)

Preservation theorems on sparse classes revisited
von: Dawar, Anuj, et al.
Veröffentlicht: (2024)

Codd's Theorem for Databases over Semirings
von: Badia, Guillermo, et al.
Veröffentlicht: (2025)

Complexity of Satisfiability in Kochen-Specker Partial Boolean Algebras
von: Dawar, Anuj, et al.
Veröffentlicht: (2026)

Fagin's Theorem for Semiring Turing Machines
von: Badia, Guillermo, et al.
Veröffentlicht: (2025)

Game Comonads & Generalised Quantifiers
von: Conghaile, Adam Ó, et al.
Veröffentlicht: (2020)

Lower Bounds in Algebraic Complexity via Symmetry and Homomorphism Polynomials
von: Dwivedi, Prateek, et al.
Veröffentlicht: (2026)

Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
von: Ahrens, Emma, et al.
Veröffentlicht: (2025)

Symmetric Arithmetic Circuits
von: Dawar, Anuj, et al.
Veröffentlicht: (2020)

Lower Bounds for Symmetric Circuits for the Determinant
von: Dawar, Anuj, et al.
Veröffentlicht: (2021)

Symmetric Algebraic Circuits and Homomorphism Polynomials
von: Dawar, Anuj, et al.
Veröffentlicht: (2025)

Implication Problems over Positive Semirings
von: Hirvonen, Minna
Veröffentlicht: (2025)

Undefinability of Approximation of 2-to-2 Games
von: Dawar, Anuj, et al.
Veröffentlicht: (2025)

Logic and Computation through the Lens of Semirings
von: Barlag, Timon, et al.
Veröffentlicht: (2025)

Logical Approaches to Non-deterministic Polynomial Time over Semirings
von: Barlag, Timon, et al.
Veröffentlicht: (2025)

Characterizing NC1 with Typed Monoids
von: Dawar, Anuj, et al.
Veröffentlicht: (2025)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
von: Livson, Ori, et al.
Veröffentlicht: (2025)

Semiring Provenance for Lightweight Description Logics
von: Bourgaux, Camille, et al.
Veröffentlicht: (2023)

Embedded Finite Models Beyond Restricted Quantifier Collapse
von: Benedikt, Michael, et al.
Veröffentlicht: (2023)

An Introduction to Different Approaches to Initial Semantics
von: Lamiaux, Thomas, et al.
Veröffentlicht: (2024)

Fixed Point Theorems in Computability Theory
von: Terwijn, Sebastiaan A.
Veröffentlicht: (2024)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
von: Hermes, Marc, et al.
Veröffentlicht: (2023)

Preservation Theorems for Unravelling-Invariant Classes: A Uniform Approach for Modal Logics and Graph Neural Networks
von: Wałęga, Przemysław Andrzej, et al.
Veröffentlicht: (2026)

Feasability of Learning Weighted Automata on a Semiring
von: Daviaud, Laure, et al.
Veröffentlicht: (2023)

A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation (full version)
von: Spaans, Jeroen, et al.
Veröffentlicht: (2025)

How (and when) can you fit examples to logic-based hypothesis classes over infinite structures?
von: Benedikt, Michael, et al.
Veröffentlicht: (2026)

From learnable objects to learnable random objects
von: Anderson, Aaron, et al.
Veröffentlicht: (2025)

Gödel Incompleteness Theorem for PAC Learnable Theory from the view of complexity measurement
von: Ma, Zhifeng, et al.
Veröffentlicht: (2024)

Functional variant of Polynomial Analogue of Gandy's Fixed Point Theorem
von: Nechesov, Andrey
Veröffentlicht: (2024)

Intentic Semantics for Potentialist Truthmaking
von: Gorbow, Paul
Veröffentlicht: (2026)

Semantic Foundations of Reductive Reasoning
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2024)

Base-extension Semantics for Modal Logic
von: Eckhardt, Timo, et al.
Veröffentlicht: (2024)

A Unified Framework for Initial Semantics
von: Lamiaux, Thomas, et al.
Veröffentlicht: (2025)

Proof-theoretic Semantics for Second-order Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)