Two notions of compactness in Gödel logics

DOI10.1007/S11225-005-2804-7MaRDI QIDQ817682zbMATHOpenAlexFDO

Authors Petr Cintula

Publication date 17 March 2006

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-005-2804-7

zbMATH Keywords

compactnesssatisfiabilityentailmentGödel logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Abstract deductive systems (03B22)

Recommendations

• On the compactness property of extensions of first-order Gödel logic
• Compactness in first-order Gödel logics
• On the classification of first order Gödel logics
• scientific article; zbMATH DE number 3926234
• Gödel logics -- a survey
• scientific article; zbMATH DE number 6830907
• Proofs of the compactness theorem
• On some properties of complete by expressibility systems of formulas in the Gödel–Löb provability logic
• First-order Gödel logics
• A Topological-algebraic Approach to the Compactness Theorem of Classical Logic

Cites work

• A propositional calculus with denumerable matrix
• Compactness of fuzzy logics.
• Fragments of Many-Valued Statement Calculi
• Metamathematics of fuzzy logic
• On triangular norm-based propositional fuzzy logics
• Residuated fuzzy logics with an involutive negation

Cited in

(10)

• scientific article; zbMATH DE number 3926234 (Why is no real title available?)
• On the classification of first order Gödel logics
• Compactness in first order Łukasiewicz logic
• On the compactness property of extensions of first-order Gödel logic
• Proofs of the compactness theorem
• Compactness of fuzzy logics.
• Fuzzy logics with an additional involutive negation
• scientific article; zbMATH DE number 4072898 (Why is no real title available?)
• Compactness in infinitary Gödel logics
• Compactness in first-order Gödel logics

This page was built for publication: Two notions of compactness in Gödel logics

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