Two notions of compactness in Gödel logics

DOI10.1007/S11225-005-2804-7zbMath1098.03031OpenAlexW2084875152MaRDI QIDQ817682

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)

Related Items (1)

Fuzzy logics with an additional involutive negation

Cites Work

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

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