Stronger version of standard completeness theorem for MTL.

Rostislav Horck

Browse the full EUSFLAT paper archive.