Advertisement
Published in:
20-03-2021 | Foundations
Similarity triangle logic
Published in: Soft Computing | Issue 10/2021
Log inActivate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Abstract
The present study aimed to propose the similarity triangle algebra and prove the completeness of the similarity triangle logic. The similarity was defined on triangle algebra. Similarity triangle algebra is a triangle algebra endowed with a binary operation S, which verifies specific additional properties. These properties and a class of all the similarity triangle algebras form a variety which were assessed as well. In addition, the similarity IVRL-filters (S-IVRL-filters) were investigated and introduced in the similarity triangle algebras, and the similarity triangle logic \((\mathcal {STL})\) was presented, which is a system of several-valued logic capturing the tautologies of similarity triangle algebras to prove the completeness theorem. According to the results, \(\mathcal {STL}\) is a conservative extension of triangle logic (\(\mathcal {TL}\)).