| Authors: | Radojević, Dragan Perović, Aleksandar Ognjanović, Zoran Rašković, Miodrag |
Affiliations: | Mathematical Institute of the Serbian Academy of Sciences and Arts | Title: | Interpolative Boolean logic | Journal: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Volume: | 5253 LNAI | First page: | 209 | Last page: | 219 | Conference: | 13th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2008; Varna; Bulgaria; 4 September 2008 through 6 September 2008 | Issue Date: | 25-Sep-2008 | Rank: | M23 | ISBN: | 978-3-540-85775-4 | ISSN: | 0302-9743 | DOI: | 10.1007/978-3-540-85776-1_18 | Abstract: | 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. |
Keywords: | Boolean logic | Boolean polynomials | Boolean frame | Publisher: | Springer Link |
Show full item record
SCOPUSTM
Citations
5
checked on Dec 26, 2024
Page view(s)
28
checked on Dec 26, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.