1 citations · 2 across the 3 of their papers we have counts for
7 papers · 1 filter
Metric Equational Theories
Radu Mardare, Neil Ghani, Eigil Rischel
This paper proposes appropriate sound and complete proof systems for algebraic structures over metric spaces by combining the development of Quantitative Equational Theories (QET)…
Polynomial Lawvere Logic
Giorgio Bacci, Radu Mardare, Prakash Panangaden +1
We study Polynomial Lawvere logic PL, a logic defined over the Lawvere quantale of extended positive reals with sum as tensor, to which we add multiplication, thereby obtaining a s…
Propositional Logics for the Lawvere Quantale
Giorgio Bacci, Radu Mardare, Prakash Panangaden +1
Lawvere showed that generalised metric spaces are categories enriched over , the quantale of the positive extended reals. The statement of enrichment is a quantitative…
Fixed-Points for Quantitative Equational Logics
Radu Mardare, Prakash Panangaden, Gordon Plotkin
We develop a fixed-point extension of quantitative equational logic and give semantics in one-bounded complete quantitative algebras. Unlike previous related work about fixed-point…
Universal Semantics for the Stochastic Lambda-Calculus
Pedro Amorim, Dexter Kozen, Radu Mardare +2
We define sound and adequate denotational and operational semantics for the stochastic lambda calculus. These two semantic approaches build on previous work that used similar techn…
On the Axiomatizability of Quantitative Algebras
Radu Mardare, Prakash Panangaden, Gordon Plotkin
Quantitative algebras (QAs) are algebras over metric spaces defined by quantitative equational theories as introduced by the same authors in a related paper presented at LICS 2016.…