:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autor principal:	Mio, Matteo
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science
Acceso en línea:	https://arxiv.org/abs/2511.04201
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces
por: Mio, Matteo, et al.
Publicado: (2023)

Rings and Boolean Algebras as Algebraic Theories
por: De Faveri, Arturo
Publicado: (2025)

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

Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams
por: Lobbia, Gabriele, et al.
Publicado: (2024)

On Quantifiers for Quantitative Reasoning
por: Capucci, Matteo
Publicado: (2024)

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

Convex algebras on an interval with semicontinuous monotone operations
por: Sokolova, Ana, et al.
Publicado: (2026)

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

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

Graphical Proof Theory I: Sequent Systems on Undirected Graphs
por: Acclavio, Matteo
Publicado: (2023)

Topological Dualities for Modal Algebras
por: Collinson, Matthew
Publicado: (2026)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
por: Bacci, Giorgio, et al.
Publicado: (2025)

Cardinality and Representation of Stone Relation Algebras
por: Furusawa, Hitoshi, et al.
Publicado: (2023)

The Algebra of Parity Games
por: Piedeleu, Robin
Publicado: (2025)

Continuous Algebras with Hypotheses
por: Mulder, Lukas, et al.
Publicado: (2026)

The Algebra of Iterative Constructions
por: Batz, Kevin, et al.
Publicado: (2026)

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

Cancellative Convex Semilattices
por: Sokolova, Ana, et al.
Publicado: (2025)

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
por: Flinkow, Thomas, et al.
Publicado: (2026)

Linear Realisability and Implicative Algebras
por: Lucquin, Alexandre, et al.
Publicado: (2026)

Forcing, Transition Algebras, and Calculi
por: Go, Hashimoto, et al.
Publicado: (2024)

Effect Algebras as Omega-categories
por: Perticone, Lorenzo, et al.
Publicado: (2023)

Induction rules for Transition Algebra
por: Hashimoto, Go
Publicado: (2026)

Model-theoretic Forcing in Transition Algebra
por: Hashimoto, Go, et al.
Publicado: (2025)

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

A Diagrammatic Algebra for Program Logics
por: Bonchi, Filippo, et al.
Publicado: (2024)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
por: Spadetto, Matteo
Publicado: (2023)

Primitive Recursive Dependent Type Theory
por: Buchholtz, Ulrik, et al.
Publicado: (2024)

Fixed Point Theorems in Computability Theory
por: Terwijn, Sebastiaan A.
Publicado: (2024)

Quantitative Linear Logic
por: Capucci, Matteo, et al.
Publicado: (2026)

From Partial to Monadic: Combinatory Algebra with Effects
por: Cohen, Liron, et al.
Publicado: (2025)

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

Initial Algebra Correspondence under Reachability Conditions
por: Kori, Mayuko, et al.
Publicado: (2025)

Completeness of Finitely Weighted Kleene Algebra With Tests
por: Sedlár, Igor
Publicado: (2024)

Characterizing Sets of Theories That Can Be Disjointly Combined
por: Przybocki, Benjamin, et al.
Publicado: (2025)

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

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

Graded Quantitative Narrowing
por: Ayala-Rincón, Mauricio, et al.
Publicado: (2025)

Quantitative and Approximate Monitoring
por: Henzinger, Thomas A., et al.
Publicado: (2021)

Uniform Preorders and Partial Combinatory Algebras
por: Frey, Jonas
Publicado: (2024)