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.
Esteva, F., Godo, L., Noguera, C. (2006). On rational weak Nilpotent Minimum logics. JOURNAL OF MULTIPLE VALUED LOGIC & SOFT COMPUTING, 12(1-2), 9-32.
On rational weak Nilpotent Minimum logics
Noguera C.
2006-01-01
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 r̄ → φ, where r is a rational in [0, 1] and φ is a formula without rational truth-constants. © 2006 Old City Publishing, Inc.File | Dimensione | Formato | |
---|---|---|---|
Esteva-Godo-Noguera-MVLSC-2006-draft.pdf
non disponibili
Tipologia:
Pre-print
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
260.86 kB
Formato
Adobe PDF
|
260.86 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Esteva-Godo-Noguera-MVLSC-2006-published.pdf
non disponibili
Tipologia:
PDF editoriale
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
265.9 kB
Formato
Adobe PDF
|
265.9 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
https://hdl.handle.net/11365/1200748