Imagen de Portada

Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Mio, Matteo, Sarkis, Ralph, Vignudelli, Valeria
Formato:	Preprint
Publicado:	2023
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Compact Quantitative Theories of Convex Algebras
por: Mio, Matteo
Publicado: (2025)

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

Complete Diagrammatic Axiomatisations of Relative Entropy
por: Sarkis, Ralph, et al.
Publicado: (2026)

Graded String Diagrams for Imprecise Probability and Causal Intervention
por: Sarkis, Ralph, et al.
Publicado: (2025)

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

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

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

On The Metric Nature of (Differential) Logical Relations
por: Lago, Ugo Dal, et al.
Publicado: (2025)

On the Metric Nature of (Differential) Logical Relations
por: Lago, Ugo Dal, et al.
Publicado: (2026)

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

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

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

Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss
por: Kozhemiachenko, Daniil
Publicado: (2024)

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)

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

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

Fuzzy Aristotelian Diagrams
por: Syropoulos, Apostolos
Publicado: (2024)

The Algebras for Automatic Relations
por: Morvan, Rémi
Publicado: (2024)

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

Universal Algebra in UniMath
por: Amato, Gianluca, et al.
Publicado: (2020)

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

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

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

Non-expansive Fuzzy ALC
por: Gebhart, Stefan, et al.
Publicado: (2025)

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

A Semantic Proof of Generalised Cut Elimination for Deep Inference
por: Atkey, Robert, et al.
Publicado: (2024)

Generalised Reachability Games Revisited
por: Bose, Sougata, et al.
Publicado: (2025)

On the Metric Temporal Logic for Continuous Stochastic Processes
por: Ikeda, Mitsumasa, et al.
Publicado: (2023)

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

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

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

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

Non-Expansive Fuzzy Coalgebraic Logic
por: Gebhart, Stefan, et al.
Publicado: (2025)

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

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

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

Probabilistic Abduction in a Fuzzy Logic Framework
por: Flaminio, Tommaso, et al.
Publicado: (2026)

Fuzzy Implicative Rules: A Unified Approach
por: Fernandez-Peralta, Raquel
Publicado: (2025)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
por: Bloch, Isabelle, et al.
Publicado: (2025)