Compactness in propositional Gödel logic

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.

Compactness in propositional Gödel logic Keywords:

Gödel logic , fuzzy logic , metric semantics , completeness theorem , compactness theorem.

Compactness in propositional Gödel logic 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

Certificate
I'm the author of the paper

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

هوش مصنوعی > منطق فازی

Export:

Link to this Paper:

https://civilica.com/doc/1444877

Document National Code:

ITCT14_010

Index date: 11 May 2022

How to cite:

If you want to refer to this Paper in your research work, you can simply use the following phrase in the references section:

Khatam, Seyed Mohammad Amin and Khakshoor, Ghasem,1400,Compactness in propositional Gödel logic,14th International Conference on Information Technology, Computers and Telecommunications,https://civilica.com/doc/1444877

در داخل متن نیز هر جا که به عبارت و یا دستاوردی از این Paper اشاره شود پس از ذکر مطلب، در داخل پارانتز، مشخصات زیر نوشته می شود.
برای بار اول: (1400, Khatam, Seyed Mohammad Amin؛ Ghasem Khakshoor)
برای بار دوم به بعد: (1400, Khatam؛ Khakshoor)
برای آشنایی کامل با نحوه مرجع نویسی لطفا بخش راهنمای سیویلیکا (مرجع دهی) را ملاحظه نمایید.

Scientometrics

The specifications of the publisher center of this Paper are as follows:

Ranking of Birjand University of Technology

Type of center: دانشگاه دولتی

Paper count: 1,156

In the scientometrics section of CIVILICA, you can see the scientific ranking of the Iranian academic and research centers based on the statistics of indexed articles.