Gödel logics -- a survey

DOI10.1007/978-3-642-16242-8_4MaRDI QIDQ4933294zbMATH OpenOpenAlexFDO

Authors Norbert Preining

Publication date 12 October 2010

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-16242-8_4

zbMATH Keywords

survey paper

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Many-valued logic (03B50)

Recommendations

• First-order Gödel logics
• scientific article; zbMATH DE number 922613
• On the classification of first order Gödel logics
• scientific article; zbMATH DE number 1696769
• scientific article; zbMATH DE number 3997759

Cited in

(22)

• A survey of mathematical logic, part II: post-1931
• scientific article; zbMATH DE number 1696769 (Why is no real title available?)
• Two notions of compactness in Gödel logics
• On the classification of first order Gödel logics
• First-order nilpotent minimum logics: first steps
• Notes on the fate of logicism fromprincipia mathematicato gödel's incompletability theorem
• A Strange Remark Attributed to Gödel
• scientific article; zbMATH DE number 1199084 (Why is no real title available?)
• Computing Minimal Axiomatizations in Godel Propositional Logic
• Valuations in Gödel logic, and the Euler characteristic
• From truth degree comparison games to sequents-of-relations calculi for Gödel logic
• An analysis of Ruspini partitions in Gödel logic
• GÖDEL ON MANY-VALUED LOGIC
• Hypersequent Calculi for Godel Logics -- a Survey
• Łukasiewicz logic: an introduction
• MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations
• scientific article; zbMATH DE number 922613 (Why is no real title available?)
• Gödel-Dummett linear temporal logic
• First-order Gödel logics
• scientific article; zbMATH DE number 1980935 (Why is no real title available?)
• A Note on Gödel-Dummet Logic LC
• On Gödel algebras of concepts

This page was built for publication: Gödel logics -- a survey

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