2024-03-29T14:27:49Zhttp://digital.csic.es/dspace-oai/requestoai:digital.csic.es:10261/1604122020-12-09T16:16:10Zcom_10261_60com_10261_4col_10261_313
2018-02-09T13:44:20Z
urn:hdl:10261/160412
Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
Esteva, Francesc
Godo, Lluis
Noguera, Carles
European Commission
Generalitat de Catalunya
Left-continuous t-norms
Evaluated formulae
Mathematical fuzzy logic
Truth-constants
Realand rational completeness
T-norm based logics
In this paper we consider the expansions of logics of a left-continuous t-norm with truth-constants from a subalgebra of the rational unit interval. From known results on standard semantics, we study completeness for these propositional logics with respect to chains deined over the rational unit interval with a special attention to the completeness with respect to the canonical chain, i.e. the algebra over $[0, 1] \cap Q$ where each truth-constant is interpreted in its corresponding rational truth-value. Finally, we study rational completeness results when we restrict ourselves to deductions between the so-called evaluated formulae.
2018-02-09T13:44:20Z
2018-02-09T13:44:20Z
2010
2018-02-09T13:44:21Z
artículo
Soft Computing 14: 273- 284 (2010)
http://hdl.handle.net/10261/160412
10.1007/s00500-009-0402-8
http://dx.doi.org/10.13039/501100000780
http://dx.doi.org/10.13039/501100002809
eng
Postprint
Sí
openAccess
Springer