Two notions of compactness in Gödel logics

DOI10.1007/S11225-005-2804-7zbMATH Open1098.03031OpenAlexW2084875152MaRDI QIDQ817682FDOQ817682

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

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

zbMATH Keywords

compactnesssatisfiabilityentailmentGödel logic

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (10)

• On the classification of first order Gödel logics
• On the compactness property of extensions of first-order Gödel logic
• Compactness of fuzzy logics.
• Fuzzy logics with an additional involutive negation
• Proofs of the compactness theorem
• Compactness in first-order Gödel logics
• Title not available (Why is that?)
• Compactness in infinitary Gödel logics
• Title not available (Why is that?)
• Compactness in first order Łukasiewicz logic

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)