On the compactness property of extensions of first-order G"{o}del logic

We study three kinds of compactness in some variants of G"{o}del logic: compactness, entailment compactness, and approximate entailment compactness. For countable first-order underlying language we use the Henkin construction to prove the compactness property of extensions of first-order g logi...

Full description

Saved in:
Bibliographic Details
Published in:Iranian journal of fuzzy systems (Online) 2015-07, Vol.12 (4), p.101
Main Authors: Khatami, Seyed Mohammad Amin, Pourmahdian, Massoud
Format: Article
Language:English
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We study three kinds of compactness in some variants of G"{o}del logic: compactness, entailment compactness, and approximate entailment compactness. For countable first-order underlying language we use the Henkin construction to prove the compactness property of extensions of first-order g logic enriched by nullary connective or the Baaz's projection connective. In the case of uncountable first-order language we use the ultraproduct method to derive the compactness theorem.
ISSN:1735-0654
2676-4334
DOI:10.22111/ijfs.2015.2087