| A new class of triangle logic |
| کد مقاله : 1083-CFIS |
| نویسندگان |
|
سعیده ظهیری *1، ارشام برومند سعید2، معصومه ظهیری1 1مرکز آموزش عالی اقلید 2بخش ریاضی دانشگاه شهید باهنر کرمان |
| چکیده مقاله |
| In this paper, we introduce and develop a propositional calculus, similarity triangle logic, denoted STL, which has similarity triangle algebra as models, then we consider it in detail. Next, the completeness and soundness of this logic have been proved. |
| کلیدواژه ها |
| Non-classical logic, Similarities, Triangle logic, Similarity triangle logic, Completeness. |
| وضعیت: پذیرفته شده برای ارائه شفاهی |