Title | 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 |
Volume | I |
Publisher | Casa editrice Università La Sapienza |
Pagination | 561-568 |
Abstract | 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. |