1 paper
Giovanni Panti, Davide Ravotti
The half-open real unit interval (0,1] is closed under the ordinary multiplication and its residuum. The corresponding infinite-valued propositional logic has as its equivalent alg…