scientific article; zbMATH DE number 1420834

MaRDI QIDQ4944902zbMATH OpenFDO

Authors Matthias Baaz, Helmut Veith

Publication date 5 September 2000

zbMATH Keywords

axiomatizationdecidabilitydensity rulefuzzy quantifiersquantified Gödel logicquantifier elimination

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

(7)

• Ten problems in Gödel logic
• First-order Gödel logics
• Decision methods for linearly ordered Heyting algebras
• scientific article; zbMATH DE number 1612546 (Why is no real title available?)
• scientific article; zbMATH DE number 1696769 (Why is no real title available?)
• The Craig interpolation property in first-order Gödel logic
• _2-rule systems and inductive classes of Gödel algebras

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)