scientific article; zbMATH DE number 1420834

zbMATH Open0943.03020MaRDI QIDQ4944902FDOQ4944902

Authors: Matthias Baaz, Helmut Veith 

Publication date: 5 September 2000

Title of this publication is not available (Why is that?)

Recommendations

• scientific article
• 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

zbMATH Keywords

decidabilityaxiomatizationquantifier eliminationfuzzy quantifiersdensity rulequantified Gödel logic

Mathematics Subject Classification ID

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

Cited In (5)

• Title not available (Why is that?)
• Decision methods for linearly ordered Heyting algebras
• Ten problems in Gödel logic
• First-order Gödel logics
• Title not available (Why is that?)

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)