To every many-valued logic L we associate a logic LS obtained from L by the adding of a storage operator(*) which has some analogies with Girard's exponential !. The algebraic counterpart of * is the operator I associating to any element a of a many-valued algebra the greatest idempotent below a. We investigate the algebraic completeness of the logics obtained in this way, as well as completeness with respect to real and rational-valued semantics. For some of these logics, we also discuss decidability and complexity. In the predicate case, the storage operator allows one to obtain a multiplicative universal quantifier which can be regarded as the iteration of the multiplicative conjunction, in the same way as the usual universal quantifier can be regarded as the iteration of the additive conjunction.

Montagna, F. (2004). Storage Operators and Multiplicative Quantifiers in Many-valued Logics. JOURNAL OF LOGIC AND COMPUTATION, 14(2), 299-322 [10.1093/logcom/14.2.299].

Storage Operators and Multiplicative Quantifiers in Many-valued Logics

MONTAGNA, FRANCO
2004

Abstract

To every many-valued logic L we associate a logic LS obtained from L by the adding of a storage operator(*) which has some analogies with Girard's exponential !. The algebraic counterpart of * is the operator I associating to any element a of a many-valued algebra the greatest idempotent below a. We investigate the algebraic completeness of the logics obtained in this way, as well as completeness with respect to real and rational-valued semantics. For some of these logics, we also discuss decidability and complexity. In the predicate case, the storage operator allows one to obtain a multiplicative universal quantifier which can be regarded as the iteration of the multiplicative conjunction, in the same way as the usual universal quantifier can be regarded as the iteration of the additive conjunction.
Montagna, F. (2004). Storage Operators and Multiplicative Quantifiers in Many-valued Logics. JOURNAL OF LOGIC AND COMPUTATION, 14(2), 299-322 [10.1093/logcom/14.2.299].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11365/7110
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo