Image de couverture de livre

Continuous Algebras with Hypotheses

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Mulder, Lukas, Pous, Damien, Wagemaker, Jana
Format:	Preprint
Publié:	2026
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

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

String Diagrams for Monoidal Categories, in Rocq
par: Pous, Damien
Publié: (2026)

A finite presentation of graphs of treewidth at most three
par: Doumane, Amina, et autres
Publié: (2024)

Adhesive category theory for graph rewriting in Rocq
par: Arsac, Samuel, et autres
Publié: (2025)

Fully Abstract Encodings of $λ$-Calculus in HOcore through Abstract Machines
par: Biernacka, Małgorzata, et autres
Publié: (2022)

Generalised Möbius Categories and Convolution Kleene Algebras
par: Cranch, James, et autres
Publié: (2025)

Completeness Theorems for Kleene algebra with tests and top
par: Pous, Damien, et autres
Publié: (2023)

Centralized vs Decentralized Monitors for Hyperproperties
par: Aceto, Luca, et autres
Publié: (2024)

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

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

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

Functoriality of Enriched Data Types
par: Mulder, Lukas, et autres
Publié: (2025)

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

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

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

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

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

From Knowledge to Conjectures: A Modal Framework for Reasoning about Hypotheses
par: Vitali, Fabio
Publié: (2025)

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

Induction rules for Transition Algebra
par: Hashimoto, Go
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)

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

Continuous Algebra: Algebraic Semantics for Continuous Propositional Logic
par: Jana, Purbita, et autres
Publié: (2025)

Compact Quantitative Theories of Convex Algebras
par: Mio, Matteo
Publié: (2025)

Model-theoretic Forcing in Transition Algebra
par: Hashimoto, Go, et autres
Publié: (2025)

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

From Partial to Monadic: Combinatory Algebra with Effects
par: Cohen, Liron, et autres
Publié: (2025)

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

Paraconsistent Relations as a Variant of Kleene Algebras
par: Cunha, Juliana, et autres
Publié: (2025)

Initial Algebra Correspondence under Reachability Conditions
par: Kori, Mayuko, et autres
Publié: (2025)

Cut-free Deductive System for Continuous Intuitionistic Logic
par: Geoffroy, Guillaume
Publié: (2025)

Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces
par: Mio, Matteo, et autres
Publié: (2023)

A General Completeness Theorem for Skip-free Star Algebras
par: Kappé, Tobias, et autres
Publié: (2025)

Initial Algebras of Domains via Quotient Inductive-Inductive Types
par: van Collem, Simcha, et autres
Publié: (2025)

Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration
par: Bizzaro, Davide, et autres
Publié: (2025)

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

Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements
par: Nakamura, Yoshiki, et autres
Publié: (2024)

Concurrent Strategies on Games with Algebras
par: Huriot-Tattegrain, Sacha, et autres
Publié: (2024)

Uniform Preorders and Partial Combinatory Algebras
par: Frey, Jonas
Publié: (2024)