A Proof of Standard Completeness for Esteva and Godo's Logic MTL

• 1 January 2002
• journal article
• Published by Springer Nature in Studia Logica
• Vol. 70  (2) , 183-192
• https://doi.org/10.1023/a:1015122331293

Abstract

Keywords

• COMPLETENESS
• RESPECT
• COUNTABLE
• LINEARLY
• SOLVES
• ESTEVA
• GODO'S LOGIC
• LOGIC MTL