Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics (Q2380337)

The paper analyzes the completeness properties of rational semantics for expansions of logics of a left-continuous t-norm with truth-constants. Some of the main known results in the field are presented in the Introduction and in the first part of Section~2. The completeness properties when restricting the deductions to evaluated formulae are studied in Subsection 2.3. The main results of the paper refer to the rational completeness properties for different logics, and two cases are analyzed: arbitrary formulae and positive evaluated formulae; the last case is studied in order to improve the negative results got for arbitrary formulae.