Copertina

Completeness of Finitely Weighted Kleene Algebra With Tests

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Sedlár, Igor
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

On Tools for Completeness of Kleene Algebra with Hypotheses
di: Pous, Damien, et al.
Pubblicazione: (2022)

Completions of Kleene's second model
di: Terwijn, Sebastiaan A.
Pubblicazione: (2023)

A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
di: Kappé, Tobias, et al.
Pubblicazione: (2023)

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

Morita Rigidity for Kleene Algebras
di: Serafin, Luke
Pubblicazione: (2025)

Paraconsistent Relations as a Variant of Kleene Algebras
di: Cunha, Juliana, et al.
Pubblicazione: (2025)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
di: Rooduijn, Jan, et al.
Pubblicazione: (2024)

Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic
di: Kozhemiachenko, Daniil, et al.
Pubblicazione: (2026)

Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements
di: Nakamura, Yoshiki, et al.
Pubblicazione: (2024)

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

Finite Hilbert systems for Weak Kleene logics
di: Greati, Vitor, et al.
Pubblicazione: (2024)

Complexity of Łukasiewicz Modal Probabilistic Logics
di: Kozhemiachenko, Daniil, et al.
Pubblicazione: (2025)

Completeness of Relational Algebra via Cylindric Algebra
di: Laštovička, Jan
Pubblicazione: (2026)

Knowledge on a Budget
di: Majer, Ondrej, et al.
Pubblicazione: (2026)

A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests
di: Verscht, Lena, et al.
Pubblicazione: (2024)

Kleene algebra with commutativity conditions is undecidable
di: de Amorim, Arthur Azevedo, et al.
Pubblicazione: (2024)

THEIA: Learning Complete Kleene Three-Valued Logic in a Pure-Neural Modular Architecture
di: Li, Augustus Haoyang
Pubblicazione: (2026)

Complete Symmetry Breaking for Finite Models
di: Dančo, Marek, et al.
Pubblicazione: (2025)

A General Completeness Theorem for Skip-free Star Algebras
di: Kappé, Tobias, et al.
Pubblicazione: (2025)

A Decision Procedure for Probabilistic Kleene Algebra with Angelic Nondeterminism
di: Ong, Shawn, et al.
Pubblicazione: (2025)

A Complete Finite Axiomatisation of the Equational Theory of Common Meadows
di: Bergstra, Jan A, et al.
Pubblicazione: (2023)

Deciding Equations in the Time Warp Algebra
di: van Gool, Sam, et al.
Pubblicazione: (2023)

Rings and Boolean Algebras as Algebraic Theories
di: De Faveri, Arturo
Pubblicazione: (2025)

Exploring the abyss in Kleene's computability theory
di: Sanders, Sam
Pubblicazione: (2023)

On the Completeness of Interpolation Algorithms
di: Hetzl, Stefan, et al.
Pubblicazione: (2024)

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

Topological Dualities for Modal Algebras
di: Collinson, Matthew
Pubblicazione: (2026)

Complete and Terminating Tableau Calculus for Undirected Graph
di: Nishimura, Yuki, et al.
Pubblicazione: (2024)

Proof-Theoretic Functional Completeness for the Connexive Logic C
di: Ayhan, Sara, et al.
Pubblicazione: (2025)

The Pebble-Relation Comonad in Finite Model Theory
di: Montacute, Yoàv, et al.
Pubblicazione: (2021)

Some General Completeness Results for Propositionally Quantified Modal Logics
di: Ding, Yifeng, et al.
Pubblicazione: (2024)

Complete representation by partial functions for signatures containing antidomain restriction
di: McLean, Brett
Pubblicazione: (2023)

GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra
di: Kim, Curie, et al.
Pubblicazione: (2026)

Embedded Finite Models Beyond Restricted Quantifier Collapse
di: Benedikt, Michael, et al.
Pubblicazione: (2023)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
di: Indrzejczak, Andrzej, et al.
Pubblicazione: (2024)

Continuous Algebras with Hypotheses
di: Mulder, Lukas, et al.
Pubblicazione: (2026)

The Algebra of Iterative Constructions
di: Batz, Kevin, et al.
Pubblicazione: (2026)

The Algebra of Parity Games
di: Piedeleu, Robin
Pubblicazione: (2025)

Initial Algebras Unchained -- A Novel Initial Algebra Construction Formalized in Agda
di: Wißmann, Thorsten, et al.
Pubblicazione: (2024)

The Relational Quotient Completion
di: Dagnino, Francesco, et al.
Pubblicazione: (2024)