2024-03-29T13:42:39Zhttp://digital.csic.es/dspace-oai/requestoai:digital.csic.es:10261/1609682018-08-09T10:11:14Zcom_10261_60com_10261_4col_10261_313
00925njm 22002777a 4500
dc
Esteva, Francesc
author
Godo, Lluis
author
Noguera, Carles
author
2006
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 r̄ → φ, where r is a rational in [0, 1] and φ is a formula without rational truth-constants. © 2006 Old City Publishing, Inc.
Journal of Multiple-Valued Logic and Soft Computing 12: 9- 32 (2006)
http://hdl.handle.net/10261/160968
http://dx.doi.org/10.13039/501100006280
Rational Pavelka logic
Gödel logic
Rational weak nilpotent minimum logic
Rational Gödel logic
Weak nilpotent minimum
On rational weak Nilpotent Minimum logics