|Títol||On rational gödel and nilpotent minimum logics|
|Publication Type||Conference Paper|
|Year of Publication||2004|
|Authors||Esteva F, Godo L, Noguera C|
|Conference Name||Tenth international conference IPMU 2004. Information processing and management of uncertainty in knowledge-based systems|
|Editor||Casa editrice Università La Sapienza|
In this paper we investigate the 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. Weak and strong standard completeness of these logics are studied in general and when we restrict ourselves to formulas of the kind ? ? ?, where r is a rational in [0,1] and ? is a formula without rational truth-constants.
- Quant a IIIA