IAM   02674
INSTITUTO ARGENTINO DE MATEMATICA ALBERTO CALDERON
Unidad Ejecutora - UE
artículos
Título:
On Product Logic with Truth-constants
Autor/es:
SAVICKÝ, PETR; CIGNOLI, ROBERTO LEONARDO OSCAR; ESTEVA, FRANCESC; GODO, LLUIS; NOGURA, CARLES
Revista:
JOURNAL OF LOGIC AND COMPUTATION
Editorial:
Oxford University Press
Referencias:
Lugar: Oxford; Año: 2006 vol. 16 p. 205 - 225
ISSN:
0955-792X
Resumen:
Product Logic Π is an axiomatic extension of Hájek’s Basic Fuzzy Logic BL coping with the 1-tautologies when the strong conjunction & and implication → are interpreted by the product of reals in [0, 1] and its residuum respectively. In this paper we investigate expansions of Product Logic by adding into the language a countable set of truth-constants (one truth-constant ř for each r in a countable Π-subalgebra C of [0, 1]) and by adding the corresponding book-keeping axioms for the truth-constants. We first show that the corresponding logics ΠC are algebraizable, and hence complete with respect to the variety of ΠC-algebras.  The main result of the paper is the canonical standard completeness of these logics, that is, theorems of C are exactly the 1-tautologies of the algebra defined over the real unit interval where the truth-constants are interpreted as their own values. It is also shown that they do not enjoy the canonical strong standard completeness, but they enjoy it for finite theories when restricted to evaluated Π-formulas of the kind ř → φ, where ř is a truth-constant and φ a formula not containing truth-constants. Finally we consider the logics ΠΔC the expansion of ΠC with the well-known Baaz's projection connective Δ, and we show canonical finite strong standard completeness for them.