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.
وضعیت : مقاله برای ارائه شفاهی پذیرفته شده است