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
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


checked on Sep 17, 2022

Page view(s)

checked on Sep 15, 2022

Google ScholarTM




Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.