In the context of truth-functional propositional many-valued logics, Hájek’s Basic Fuzzy Logic BL [14] plays a major rôle. The completeness theorem proved in [7] shows that BL is the logic of all continuous t-norms and their residua. This result, however, does not directly yield any meaningful interpretation of the truth values in BL per se. In an attempt to address this issue, in this paper we introduce a complete temporal semantics for BL. Specifically, we show that BL formulas can be interpreted as modal formulas over a flow of time, where the logic of each instant is Łukasiewicz, with a finite or infinite number of truth values. As a main result, we obtain validity with respect to all flows of times that are non-branching to the future, and completeness with respect to all finite linear flows of time, or to an appropriate single infinite linear flow of time. It may be argued that this reduces the problem of establishing a meaningful interpretation of the truth values in BL logic to the analogous problem for Łukasiewicz logic.

A temporal semantics for basic logic / S. Aguzzoli, M. Bianchi, V. Marra. - In: STUDIA LOGICA. - ISSN 0039-3215. - 92:2(2009), pp. 147-162. [10.1007/s11225-009-9192-3]

### A temporal semantics for basic logic

#### Abstract

In the context of truth-functional propositional many-valued logics, Hájek’s Basic Fuzzy Logic BL [14] plays a major rôle. The completeness theorem proved in [7] shows that BL is the logic of all continuous t-norms and their residua. This result, however, does not directly yield any meaningful interpretation of the truth values in BL per se. In an attempt to address this issue, in this paper we introduce a complete temporal semantics for BL. Specifically, we show that BL formulas can be interpreted as modal formulas over a flow of time, where the logic of each instant is Łukasiewicz, with a finite or infinite number of truth values. As a main result, we obtain validity with respect to all flows of times that are non-branching to the future, and completeness with respect to all finite linear flows of time, or to an appropriate single infinite linear flow of time. It may be argued that this reduces the problem of establishing a meaningful interpretation of the truth values in BL logic to the analogous problem for Łukasiewicz logic.
##### Scheda breve Scheda completa Scheda completa (DC)
Łukasiewicz logic; Basic Logic; Many-valued logics; Modal logics; Temporal logics
Settore INF/01 - Informatica
Settore MAT/01 - Logica Matematica
2009
Article (author)
File in questo prodotto:
File
art%3A10.1007%2Fs11225-009-9192-3.pdf

accesso riservato

Tipologia: Publisher's version/PDF
Dimensione 259.45 kB
Utilizza questo identificativo per citare o creare un link a questo documento: `https://hdl.handle.net/2434/69334`