A Temporal Semantics for Basic Logic
- 93 Downloads
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.
KeywordsMany-valued logics Basic Logic Łukasiewicz logic Modal logics Temporal logics
- 2.Aguzzoli, S., B. Gerla, and V. Marra, ‘Embedding Gödel propositional logic into Prior’s tense logic’, in L. Magdalena, M. Ojeda-Aciego, and J.L. Verdegay, (eds.), Proceedings of IPMU’08, Torremolinos (Málaga), 2008, pp. 992–999. http://www.gimac.uma.es/ipmu08/proceedings/papers/132-AguzzoliEtAl.pdf.
- 3.Borkowski, L., (ed.) Jan Łukasiewicz Selected Works, Studies In Logic and The Foundations of Mathematics, North Holland Publishing Company-Amsterdam, Polish Scientific Publishers-Warszawa, 1970. ISBN:720422523.Google Scholar
- 4.Burris, S., and H. P. Sankappanavar, A course in universal algebra, vol. 78 of Graduate Texts in Mathematics, Springer-Verlag, New York, 1981. An updated and revised electronic edition is available on http://www.math.uwaterloo.ca/~snburris/htdocs/ualg.html.
- 5.Cicalese, F., and D. Mundici, Recent Developments of Feedback Coding and its Relations with Many-Valued Logic, vol. 1, Allied Publishers, 2007, pp. 222–240. ISBN:9798184242729.Google Scholar
- 6.Cignoli, R., I. D’Ottaviano, and D. Mundici, Algebraic Foundations of Many-Valued Reasoning, vol. 7 of Trends in Logic, Kluwer Academic Publishers, 1999. ISBN:9780792360094.Google Scholar
- 8.Darnel, M.R., Theory of lattice-ordered groups, vol. 187 of Monographs and Textbooks in Pure and Applied Mathematics, Marcel Dekker Inc., New York, 1995. ISBN:9780824793265.Google Scholar
- 10.Dummett, M., ‘A propositional calculus with denumerable matrix’, The Journal of Symbolic Logic, 24 (1959), 2, 97–106. http://www.jstor.org/stable/2964753.
- 12.Giles, R., ‘Łukasiewicz logic and fuzzy set theory’, in Proceedings of the 1975 International Symposium on Multiple-Valued Logic (Indiana Univ., Bloomington, Ind., 1975), IEEE Comput. Soc., Long Beach, Calif., 1975, pp. 197–211.Google Scholar
- 13.Gottwald, S., A treatise on many-valued logics, no. 9 in Studies in Logic and Computation, Research Studies Press Ltd., Baldock, 2001. ISBN:0863802621.Google Scholar
- 14.H´ajek, P., Metamathematics of Fuzzy Logic, vol. 4 of Trends in Logic, paperback edn., Kluwer Academic Publishers, 2002. ISBN:9781402003707.Google Scholar