A polyvalent propositional logic is in Boolean frame if the set of all -valid formulas coincides with the set of all tautologies. It is well known that the polyvalent logics based on the truth functionality principle are not in the Boolean frame. Interpolative Boolean logic (IBL) is a real-valued propositional logic that is in Boolean frame. The term "interpolative" cames from the fact that semantics of IBL is based on the notion of a generalized Boolean polynomial, where multiplication can be substituted by any continuous t-norm such that . Possible applications are illustrated with several examples. © Springer-Verlag Berlin Heidelberg 2008.
CITATION STYLE
Radojević, D., Perović, A., Ognjanović, Z., & Rašković, M. (2008). Interpolative Boolean logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5253 LNAI, pp. 209–219). https://doi.org/10.1007/978-3-540-85776-1_18
Mendeley helps you to discover research relevant for your work.