Cover Image

Locality Theorems in Semiring Semantics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bizière, Clotilde, Grädel, Erich, Naaf, Matthias
Format:	Preprint
Published:	2023
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Preservation Theorems in Semiring Semantics
by: Brinke, Sophie, et al.
Published: (2026)

Provenance Analysis and Semiring Semantics for First-Order Logic
by: Grädel, Erich, et al.
Published: (2024)

Symmetric Proofs in the Ideal Proof System
by: Dawar, Anuj, et al.
Published: (2025)

Codd's Theorem for Databases over Semirings
by: Badia, Guillermo, et al.
Published: (2025)

On the Reachability Problem for Two-Dimensional Branching VASS
by: Bizière, Clotilde, et al.
Published: (2025)

Fagin's Theorem for Semiring Turing Machines
by: Badia, Guillermo, et al.
Published: (2025)

Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
by: Ahrens, Emma, et al.
Published: (2025)

Implication Problems over Positive Semirings
by: Hirvonen, Minna
Published: (2025)

Logic and Computation through the Lens of Semirings
by: Barlag, Timon, et al.
Published: (2025)

Logical Approaches to Non-deterministic Polynomial Time over Semirings
by: Barlag, Timon, et al.
Published: (2025)

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

Semiring Provenance for Lightweight Description Logics
by: Bourgaux, Camille, et al.
Published: (2023)

Fixed Point Theorems in Computability Theory
by: Terwijn, Sebastiaan A.
Published: (2024)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
by: Hermes, Marc, et al.
Published: (2023)

Yeo's Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic
by: Di Guardia, Rémi, et al.
Published: (2026)

Feasability of Learning Weighted Automata on a Semiring
by: Daviaud, Laure, et al.
Published: (2023)

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

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

Functional variant of Polynomial Analogue of Gandy's Fixed Point Theorem
by: Nechesov, Andrey
Published: (2024)

Intentic Semantics for Potentialist Truthmaking
by: Gorbow, Paul
Published: (2026)

Semantic Foundations of Reductive Reasoning
by: Gheorghiu, Alexander V., et al.
Published: (2024)

Base-extension Semantics for Modal Logic
by: Eckhardt, Timo, et al.
Published: (2024)

Proof-theoretic Semantics for the Logic of Bunched Implications
by: Gu, Tao, et al.
Published: (2023)

Proof-theoretic Semantics for Second-order Logic
by: Gheorghiu, Alexander V., et al.
Published: (2025)

A Coalgebraic Semantics for Intuitionistic Modal Logic
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)

Proof-theoretic Semantics for First-order Logic
by: Gheorghiu, Alexander V.
Published: (2024)

Base-extension Semantics for Intuitionistic Modal Logics
by: Buzoku, Yll, et al.
Published: (2025)

A General (Uniform) Relational Semantics for Sentential Logics
by: Hartonas, Chrysafis
Published: (2025)

Advances in Algorithmic Meta Theorems
by: Siebertz, Sebastian, et al.
Published: (2024)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
by: Gheorghiu, Alexander V., et al.
Published: (2025)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
by: de Groot, Jim, et al.
Published: (2024)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
by: Gheorghiu, Alexander V., et al.
Published: (2023)

Ruitenburg's Theorem Mechanized and Contextualized
by: Litak, Tadeusz
Published: (2024)

Lovász Theorems for Modal Languages
by: Comer, Jesse
Published: (2024)

Algorithmic Perspective on Toda's Theorem
by: Fried, Dror, et al.
Published: (2025)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
by: Pacheco, Leonardo
Published: (2026)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
by: Gheorghiu, Alexander V., et al.
Published: (2022)

On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category
by: Koul, Prajval, et al.
Published: (2025)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
by: Xu, Yang, et al.
Published: (2025)