Compactness in propositional Gödel logic
Publish place: 14th International Conference on Information Technology, Computers and Telecommunications
Publish Year: 1400
نوع سند: مقاله کنفرانسی
زبان: English
View: 177
This Paper With 5 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
این Paper در بخشهای موضوعی زیر دسته بندی شده است:
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ITCT14_010
تاریخ نمایه سازی: 21 اردیبهشت 1401
Abstract:
In this article, firstly we have a review on Gödel logic and the famous theorems of completeness and compactness. Then we have an examine around axiomatizability of Gödel logic. Finally, we introduce a dual semantics for Gödel logic and introduce some new results around this issue.
Keywords:
Authors
Seyed Mohammad Amin Khatam
Department of Computer Science, Birjand University of Technology, Birjand, Iran
Ghasem Khakshoor
Department of Mathematics,Technical and Vocational university(TVU),Tehran,Iran