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…