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

zbMATH Open1336.03035arXiv1410.3027MaRDI QIDQ2805906FDOQ2805906

Authors: Seyed Mohammad Amin Khatami, M. Pourmahdian 

Publication date: 13 May 2016

Published in: Iranian Journal of Fuzzy Systems (Search for Journal in Brave)

Abstract: 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

Full work available at URL: https://arxiv.org/abs/1410.3027

Recommendations

• Compactness in first-order Gödel logics
• First-order Gödel logics
• Two notions of compactness in Gödel logics
• On compactness of logics that can express properties of symmetry or connectivity
• Compactness in infinitary Gödel logics

zbMATH Keywords

compactness theoremGödel logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Cited In (4)

• Two notions of compactness in Gödel logics
• A Generalisation of the Hyperresolution Principle to First Order Gödel Logic
• Title not available (Why is that?)
• Generalizations of the Compactness Theorem and Gödel’s Completeness Theorem for Nonstandard Finite Structures

This page was built for publication: On the compactness property of extensions of first-order Gödel logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2805906)