On the compactness property of extensions of first-order Gödel logic

We study three kinds of compactness in some variants of G\"odel 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\"...

Full description

Saved in:
Bibliographic Details
Published in:arXiv.org 2014-10
Main Author: Seyed Mohammad Amin Khatami
Format: Article
Language:English
Subjects:
Logic
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\"odel 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\"odel 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:2331-8422