Compactness in propositional Gödel logic

Publish Year: 1400
نوع سند: مقاله کنفرانسی
زبان: English
View: 177

This Paper With 5 Page And PDF Format Ready To Download

  • Certificate
  • من نویسنده این مقاله هستم

این Paper در بخشهای موضوعی زیر دسته بندی شده است:

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این 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.

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