scientific article; zbMATH DE number 1980935

MaRDI QIDQ4428309zbMATH OpenFDO

Authors Norbert Preining

Publication date 15 September 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2514/25140327.htm

Mathematics Subject Classification ID

Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Descriptive set theory (03E15)

Recommendations

• First-order Gödel logics
• A non-hyperarithmetical Gödel logic
• On the classification of first order Gödel logics
• SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability
• Gödel logics -- a survey

Cited in

(17)

• Continuous Fraïssé conjecture
• Arithmetical complexity of fuzzy predicate logics -- a survey. II.
• On the classification of first order Gödel logics
• A non-hyperarithmetical Gödel logic
• Hyperresolution for Gödel logic with truth constants
• First-order Gödel logics
• scientific article; zbMATH DE number 1612546 (Why is no real title available?)
• Semantic investigation of canonical Gödel hypersequent systems
• A Generalisation of the Hyperresolution Principle to First Order Gödel Logic
• Carnap, Godel, and the Analyticity of Arithmetic
• A Strange Remark Attributed to Gödel
• Valuations in Gödel logic, and the Euler characteristic
• R n - and G n -logics
• scientific article; zbMATH DE number 922613 (Why is no real title available?)
• Noetherian Gödel logics
• A Note on Gödel-Dummet Logic LC
• An analysis of Ruspini partitions 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 Q4428309)