Publications

On rational gödel and nilpotent minimum logics

Publication Type:

Conference Paper

Authors:

Francesc Esteva; Lluís Godo; Carles Noguera

Source:

Tenth international conference IPMU 2004. Information processing and management of uncertainty in knowledge-based systems, Casa editrice Università La Sapienza, Volume I, p.561-568 (2004)

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.

Projects: 
LOGFAC
»