In mathematical logic, a first-order Gödel logic is a member of a family of finite- or infinite-valued logics in which the sets of truth values V are closed subsets of the interval [0,1] containing both 0 and 1. Different such sets V in general determine different Gödel logics. The concept is named after Kurt Gödel. [1]
References
First-order Gödel logics Authors: Matthias Baaz, Norbert Preining, Richard Zach.
Stub icon This mathematical logic-related article is a stub. You can help Wikipedia by expanding it.
vte
Set theory
vte
Logic
Outline History
Fields
Computer science Inference Philosophy of logic Proof Semantics Syntax
Logics
Classical Informal
Critical thinking Reason Mathematical Non-classical Philosophical
Theories
Argumentation Metalogic Metamathematics Set
Foundations
Abduction Analytic and synthetic propositions Contradiction
Paradox Antinomy Deduction Deductive closure Definition Description Entailment
Linguistic Form Induction Logical truth Name Necessity and sufficiency Premise Probability Reference Statement Substitution Truth Validity
Lists
topics
Mathematical logic Boolean algebra Set theory
other
Logicians Rules of inference Paradoxes Fallacies Logic symbols
Undergraduate Texts in Mathematics
Graduate Studies in Mathematics
Hellenica World - Scientific Library
Retrieved from "http://en.wikipedia.org/"
All text is available under the terms of the GNU Free Documentation License
