Interpolation in Godel Logic
Publish place: The 22nd Iran Fuzzy Systems Conference
Publish Year: 1402
نوع سند: مقاله کنفرانسی
زبان: English
View: 23
This Paper With 6 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ICFUZZYS22_016
تاریخ نمایه سازی: 14 مرداد 1403
Abstract:
We propose a model-theoretic approach to prove that the rst-order Godel logicenjoy the Craig interpolation property.
Keywords:
Authors
Seyed Mohammad Amin Khatami
Department of computer science, Birjand university of technology, Birjand, Iran