TY  - RPRT
TI  - Propositional Logics for the Lawvere Quantale
AU  - Giorgio Bacci
AU  - Radu Mardare
AU  - Prakash Panangaden
AU  - Gordon Plotkin
PY  - 2023
DO  - 10.46298/entics.12292
UR  - https://arxiv.org/abs/2302.01224
ID  - 2302.01224
ER  -