Graduate studies at Western
Studia Logica 92 (2):147 - 162 (2009)
|Abstract||In the context of truth-functional propositional many-valued logics, Hájek’s Basic Fuzzy Logic BL  plays a major rôle. The completeness theorem proved in  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.|
|Keywords||Many-valued logics Basic Logic Łukasiewicz logic Modal logics Temporal logics|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Seiki Akama, Yasunori Nagata & Chikatoshi Yamada (2008). Three-Valued Temporal Logic Q T and Future Contingents. Studia Logica 88 (2):215 - 231.
Frank Wolter & Michael Zakharyaschev (2005). A Logic for Metric and Topology. Journal of Symbolic Logic 70 (3):795 - 828.
Thomas Vetterlein (2008). A Way to Interpret Łukasiewicz Logic and Basic Logic. Studia Logica 90 (3):407 - 423.
Stefano Aguzzoli & Agata Ciabattoni (2000). Finiteness in Infinite-Valued Łukasiewicz Logic. Journal of Logic, Language and Information 9 (1):5-29.
Mark Reynolds (1996). Axiomatising First-Order Temporal Logic: Until and Since Over Linear Time. Studia Logica 57 (2-3):279 - 302.
Stefan Wölfl (2002). Propositional Q-Logic. Journal of Philosophical Logic 31 (5):387-414.
João Marcos (2009). What is a Non-Truth-Functional Logic? Studia Logica 92 (2):215 - 240.
Marcelo Finger & Dov M. Gabbay (1992). Adding a Temporal Dimension to a Logic System. Journal of Logic, Language and Information 1 (3):203-233.
Vilém Novák (1987). First-Order Fuzzy Logic. Studia Logica 46 (1):87 - 109.
Added to index2009-07-11
Total downloads12 ( #101,301 of 741,433 )
Recent downloads (6 months)1 ( #61,802 of 741,433 )
How can I increase my downloads?