1 paper · 1 filter
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…