scientific article; zbMATH DE number 1420834

MaRDI QIDQ4944902zbMATHFDO

Authors Matthias Baaz, Helmut Veith

Publication date 5 September 2000

zbMATH Keywords

decidabilityaxiomatizationquantifier eliminationfuzzy quantifiersdensity rulequantified Gödel logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52)

Recommendations

• scientific article; zbMATH DE number 1696769
• scientific article; zbMATH DE number 1612546
• Quantitative logic theory in Gödel system
• On Kripke-style Semantics for the Provability Logic of Gödel's Proof Predicate with Quantifiers on Proofs
• Towards a proof theory of Gödel modal logics
• Axiomatization of crisp Gödel modal logic
• On propositional quantifiers in provability logic
• Provability logics with quantifiers on proofs
• A note on strong axiomatization of Gödel justification logic
• scientific article; zbMATH DE number 1088204

Cited in

(5)

• scientific article; zbMATH DE number 1696769 (Why is no real title available?)
• scientific article; zbMATH DE number 1612546 (Why is no real title available?)
• Decision methods for linearly ordered Heyting algebras
• First-order Gödel logics
• Ten problems in Gödel logic

This page was built for publication:

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