T-norm-based logics with an independent involutive negation

In this paper we investigate the addition of arbitrary independent involutive negations to t-norm based logics. We deal with several extensions of MTL and establish general completeness results. Indeed, we will show that, given any t-norm based logic satisfying some basic properties, its extension by means of an involutive negation preserves algebraic and (finite) strong standard completeness. We will deal with both propositional and predicate logics.

• Type: Journal
• Year: 2006
• Where: FSS
• Authors: Tommaso Flaminio, Enrico Marchioni
• Keywords: FSS 2006, Independent Involutive Negations, Involutive Negation, Logics