Image de couverture de livre

A General Completeness Theorem for Skip-free Star Algebras

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Kappé, Tobias, Schmid, Todd
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
par: Kappé, Tobias, et autres
Publié: (2023)

An Elementary Proof of the FMP for Kleene Algebra
par: Kappé, Tobias
Publié: (2022)

Completeness of Relational Algebra via Cylindric Algebra
par: Laštovička, Jan
Publié: (2026)

The Algebra of Iterative Constructions
par: Batz, Kevin, et autres
Publié: (2026)

Coalgebraic Path Constraints
par: Schmid, Todd
Publié: (2026)

On Tools for Completeness of Kleene Algebra with Hypotheses
par: Pous, Damien, et autres
Publié: (2022)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
par: Indrzejczak, Andrzej, et autres
Publié: (2024)

Completeness of Finitely Weighted Kleene Algebra With Tests
par: Sedlár, Igor
Publié: (2024)

The Equational Theory of Relational Kleene Algebra with Graph Loop is PSPACE-Complete
par: Nakamura, Yoshiki
Publié: (2025)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
par: Livson, Ori, et autres
Publié: (2025)

Some General Completeness Results for Propositionally Quantified Modal Logics
par: Ding, Yifeng, et autres
Publié: (2024)

Rings and Boolean Algebras as Algebraic Theories
par: De Faveri, Arturo
Publié: (2025)

Deciding Equations in the Time Warp Algebra
par: van Gool, Sam, et autres
Publié: (2023)

Generating Theorems by Generating Proof Structures
par: Wernhard, Christoph
Publié: (2026)

On the Completeness of Interpolation Algorithms
par: Hetzl, Stefan, et autres
Publié: (2024)

Fixed Point Theorems in Computability Theory
par: Terwijn, Sebastiaan A.
Publié: (2024)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
par: Almeida, Rodrigo Nicolau
Publié: (2023)

Completions of Kleene's second model
par: Terwijn, Sebastiaan A.
Publié: (2023)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
par: Hermes, Marc, et autres
Publié: (2023)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
par: Xu, Yang, et autres
Publié: (2025)

Topological Dualities for Modal Algebras
par: Collinson, Matthew
Publié: (2026)

Complete and Terminating Tableau Calculus for Undirected Graph
par: Nishimura, Yuki, et autres
Publié: (2024)

Initial Algebras Unchained -- A Novel Initial Algebra Construction Formalized in Agda
par: Wißmann, Thorsten, et autres
Publié: (2024)

Proof-Theoretic Functional Completeness for the Connexive Logic C
par: Ayhan, Sara, et autres
Publié: (2025)

A Completeness Theorem for Probabilistic Regular Expressions
par: Różowski, Wojciech, et autres
Publié: (2023)

Gödel Incompleteness Theorem for PAC Learnable Theory from the view of complexity measurement
par: Ma, Zhifeng, et autres
Publié: (2024)

Complete representation by partial functions for signatures containing antidomain restriction
par: McLean, Brett
Publié: (2023)

A Diagrammatic Algebra for Program Logics
par: Bonchi, Filippo, et autres
Publié: (2024)

The Algebra of Parity Games
par: Piedeleu, Robin
Publié: (2025)

Continuous Algebras with Hypotheses
par: Mulder, Lukas, et autres
Publié: (2026)

Functional variant of Polynomial Analogue of Gandy's Fixed Point Theorem
par: Nechesov, Andrey
Publié: (2024)

Fractals from Regular Behaviours
par: Schmid, Todd, et autres
Publié: (2023)

The Relational Quotient Completion
par: Dagnino, Francesco, et autres
Publié: (2024)

Linear Realisability and Implicative Algebras
par: Lucquin, Alexandre, et autres
Publié: (2026)

Forcing, Transition Algebras, and Calculi
par: Go, Hashimoto, et autres
Publié: (2024)

Effect Algebras as Omega-categories
par: Perticone, Lorenzo, et autres
Publié: (2023)

Induction rules for Transition Algebra
par: Hashimoto, Go
Publié: (2026)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2025)

Cardinality and Representation of Stone Relation Algebras
par: Furusawa, Hitoshi, et autres
Publié: (2023)

Cut-elimination for the alternation-free modal mu-calculus
par: Afshari, Bahareh, et autres
Publié: (2025)