An Interpretable Logical Theory: The case of Compensatory Fuzzy Logic

Abstract

This paper aims to formally define a concept of interpretability according to natural language of a logical theory, and show advances for demonstrating that the logic system called Compensatory Fuzzy Logic is interpretable. A logical theory is interpretable according to natural language if the calculus based upon the elements of this logical theory can be understood in natural language and vice versa. We present conditions necessary for a logical theory to be called interpretable, especially Compensatory Fuzzy Logic.