Buchumschlag

Compact Quantitative Theories of Convex Algebras

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Mio, Matteo
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces
von: Mio, Matteo, et al.
Veröffentlicht: (2023)

Rings and Boolean Algebras as Algebraic Theories
von: De Faveri, Arturo
Veröffentlicht: (2025)

Completeness of Relational Algebra via Cylindric Algebra
von: Laštovička, Jan
Veröffentlicht: (2026)

Deciding Equations in the Time Warp Algebra
von: van Gool, Sam, et al.
Veröffentlicht: (2023)

Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams
von: Lobbia, Gabriele, et al.
Veröffentlicht: (2024)

Convex algebras on an interval with semicontinuous monotone operations
von: Sokolova, Ana, et al.
Veröffentlicht: (2026)

The Equational Theory of Relational Kleene Algebra with Graph Loop is PSPACE-Complete
von: Nakamura, Yoshiki
Veröffentlicht: (2025)

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

Graphical Proof Theory I: Sequent Systems on Undirected Graphs
von: Acclavio, Matteo
Veröffentlicht: (2023)

On Quantifiers for Quantitative Reasoning
von: Capucci, Matteo
Veröffentlicht: (2024)

Topological Dualities for Modal Algebras
von: Collinson, Matthew
Veröffentlicht: (2026)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
von: Bacci, Giorgio, et al.
Veröffentlicht: (2025)

The Algebra of Parity Games
von: Piedeleu, Robin
Veröffentlicht: (2025)

Continuous Algebras with Hypotheses
von: Mulder, Lukas, et al.
Veröffentlicht: (2026)

The Algebra of Iterative Constructions
von: Batz, Kevin, et al.
Veröffentlicht: (2026)

Initial Algebras Unchained -- A Novel Initial Algebra Construction Formalized in Agda
von: Wißmann, Thorsten, et al.
Veröffentlicht: (2024)

Cancellative Convex Semilattices
von: Sokolova, Ana, et al.
Veröffentlicht: (2025)

Linear Realisability and Implicative Algebras
von: Lucquin, Alexandre, et al.
Veröffentlicht: (2026)

Forcing, Transition Algebras, and Calculi
von: Go, Hashimoto, et al.
Veröffentlicht: (2024)

Effect Algebras as Omega-categories
von: Perticone, Lorenzo, et al.
Veröffentlicht: (2023)

Induction rules for Transition Algebra
von: Hashimoto, Go
Veröffentlicht: (2026)

Cardinality and Representation of Stone Relation Algebras
von: Furusawa, Hitoshi, et al.
Veröffentlicht: (2023)

Model-theoretic Forcing in Transition Algebra
von: Hashimoto, Go, et al.
Veröffentlicht: (2025)

On Tools for Completeness of Kleene Algebra with Hypotheses
von: Pous, Damien, et al.
Veröffentlicht: (2022)

A Diagrammatic Algebra for Program Logics
von: Bonchi, Filippo, et al.
Veröffentlicht: (2024)

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
von: Flinkow, Thomas, et al.
Veröffentlicht: (2026)

Primitive Recursive Dependent Type Theory
von: Buchholtz, Ulrik, et al.
Veröffentlicht: (2024)

Fixed Point Theorems in Computability Theory
von: Terwijn, Sebastiaan A.
Veröffentlicht: (2024)

From Partial to Monadic: Combinatory Algebra with Effects
von: Cohen, Liron, et al.
Veröffentlicht: (2025)

Paraconsistent Relations as a Variant of Kleene Algebras
von: Cunha, Juliana, et al.
Veröffentlicht: (2025)

Initial Algebra Correspondence under Reachability Conditions
von: Kori, Mayuko, et al.
Veröffentlicht: (2025)

Completeness of Finitely Weighted Kleene Algebra With Tests
von: Sedlár, Igor
Veröffentlicht: (2024)

Characterizing Sets of Theories That Can Be Disjointly Combined
von: Przybocki, Benjamin, et al.
Veröffentlicht: (2025)

The Pebble-Relation Comonad in Finite Model Theory
von: Montacute, Yoàv, et al.
Veröffentlicht: (2021)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
von: Hermes, Marc, et al.
Veröffentlicht: (2023)

Graded Quantitative Narrowing
von: Ayala-Rincón, Mauricio, et al.
Veröffentlicht: (2025)

Quantitative and Approximate Monitoring
von: Henzinger, Thomas A., et al.
Veröffentlicht: (2021)

A Naive Encoding of Russell's Paradox in Type Theory
von: Qu, Zhuoyuan
Veröffentlicht: (2025)

Proof Theory and Decision Procedures for Deontic STIT Logics
von: Lyon, Tim S., et al.
Veröffentlicht: (2024)

Non-Derivability Results in Polymorphic Dependent Type Theory
von: Geuvers, Herman
Veröffentlicht: (2026)