A Compact [0, 1]-valued First-order Łukasiewicz Logic with Identity on Hilbert Space

Daniele Mundici. A Compact [0, 1]-valued First-order Łukasiewicz Logic with Identity on Hilbert Space. Journal of Logic and Computation, 21(3):509-525, 2011. [doi]

Abstract

Abstract is missing.