On Rational Weak Nilpotent Minimum Logics

From Mathfuzzlog

Jump to: navigation, search
Authors:
Francesc Esteva
Lluís Godo
Carles Noguera
Title: On Rational Weak Nilpotent Minimum Logics
Journal: Journal of Multiple-Valued Logic and Soft Computing
Volume 12
Number 1
Pages: 9-32
Year: 2006
Preprint




Abstract

In this paper we investigate extensions of Gödel and Nilpotent Minimum logics by adding rational truth-values as truth constants in the language and by adding corresponding book-keeping axioms for the truth-constants. We also investigate the rational extensions of some parametric families of Weak Nilpotent Minimum logics, weaker than both Gödel and Nilpotent Minimum logics. Weak and strong standard completeness of these logics are studied in general and in particular when we restrict ourselves to formulas of the kind \overline{r} \rightarrow \psi, where r is a rational in [0,1] and ψ is a formula without rational truth-constants.

Personal tools