Cover Image

Implication Problems over Positive Semirings

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Hirvonen, Minna
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Implication Problem for Functional Dependencies and Variants of Marginal Distribution Equivalences
by: Hirvonen, Minna
Published: (2023)

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

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

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

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

Locality Theorems in Semiring Semantics
by: Bizière, Clotilde, et al.
Published: (2023)

Logics with probabilistic team semantics and the Boolean negation
by: Hannula, Miika, et al.
Published: (2023)

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

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

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

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

On Robustness for the Skolem, Positivity and Ultimate Positivity Problems
by: Akshay, S., et al.
Published: (2022)

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

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)

The Church Synthesis Problem over Continuous Time
by: Rabinovich, Alexander, et al.
Published: (2024)

The Discontinuity Problem
by: Brattka, Vasco
Published: (2020)

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

Tree Rewriting Calculi for Strictly Positive Logics
by: Santiago-Fernández, Sofía, et al.
Published: (2025)

Expressibility and inexpressibility in propositional team logics
by: Häggblom, Matilda, et al.
Published: (2025)

Kripke Completeness of Strictly Positive Modal Logics over Meet-semilattices with Operators
by: Kikot, Stanislav, et al.
Published: (2017)

Gödel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication
by: de Groot, Jim, et al.
Published: (2021)

Problems and Consequences of Bilateral Notions of (Meta-)Derivability
by: Ayhan, Sara
Published: (2025)

Strict width for Constraint Satisfaction Problems over homogeneous strucures of finite duality
by: Nagy, Tomáš, et al.
Published: (2024)

The Proof Analysis Problem
by: Arteche, Noel, et al.
Published: (2025)

On matrix rank function over bounded arithmetics
by: Ken, Eitetsu, et al.
Published: (2023)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
by: Gaßner, Christine
Published: (2025)

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
by: Gaßner, Christine
Published: (2025)

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
by: Gaßner, Christine
Published: (2025)

$Π_{2}^{P}$ vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem
by: Zhuk, Dmitriy
Published: (2024)

Linear Realisability and Implicative Algebras
by: Lucquin, Alexandre, et al.
Published: (2026)

Existential Positive Transductions of Sparse Graphs
by: Mählmann, Nikolas, et al.
Published: (2026)

Fuzzy Implicative Rules: A Unified Approach
by: Fernandez-Peralta, Raquel
Published: (2025)

A Sequent Calculus For Trace Formula Implication
by: Heidler, Niklas, et al.
Published: (2025)

Skolem and Positivity Completeness of Ergodic Markov Chains
by: Vahanwala, Mihir
Published: (2023)

Many-valued coalgebraic logic over semi-primal varieties
by: Kurz, Alexander, et al.
Published: (2023)

Network Satisfaction Problems Solved by k-Consistency
by: Bodirsky, Manuel, et al.
Published: (2023)

Positive Almost-Sure Termination of Polynomial Random Walks
by: Winkler, Lorenz, et al.
Published: (2025)

Positionality in $Σ_0^2$ and a completeness result
by: Ohlmann, Pierre, et al.
Published: (2023)

Derivatives on Graphs for the Positive Calculus of Relations with Transitive Closure
by: Nakamura, Yoshiki
Published: (2024)