| 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. |
