Quantified propositional Gödel logics

DOI10.1007/3-540-44404-1_16MaRDI QIDQ2767023zbMATH OpenFDO

Authors Matthias Baaz, Agata Ciabattoni, Richard Zach

Publication date 30 June 2002

Published in Lecture Notes in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0006122

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Many-valued logic (03B50) Quantifier elimination, model completeness, and related topics (03C10)

Recommendations

• scientific article; zbMATH DE number 1420834
• Quantitative logic theory in Gödel system
• Gödel logics with monotone operators
• Gödel logics -- a survey
• An analytic calculus for quantified propositional Gödel logic

Cited in

(11)

• Gentzen-type formulation of the propositional logic LQ
• On propositional quantifiers in provability logic
• Ten problems in Gödel logic
• Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity \(\leq \omega\)
• First-order Gödel logics
• An analytic calculus for quantified propositional Gödel logic
• Quantitative logic theory in Gödel system
• Completeness via correspondence for extensions of the logic of paradox
• Gödel logics -- a survey
• scientific article; zbMATH DE number 1420834 (Why is no real title available?)
• scientific article; zbMATH DE number 7577569 (Why is no real title available?)

This page was built for publication: Quantified propositional Gödel logics

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