Kurt Gödel's First Steps in Logic: Formal Proofs in Arithmetic and Set Theory through a System of Natural Deduction.
Jan von PlatoPublished in: Bull. Symb. Log. (2018)
Keyphrases
- set theory
- formal proofs
- natural deduction
- first order logic
- inference rules
- theorem prover
- theorem proving
- cut elimination
- intuitionistic logic
- partial order
- fuzzy set theory
- sequent calculus
- rough sets
- fuzzy sets
- algebraic geometry
- mathematical morphology
- model checker
- linear logic
- probability theory
- rough set theory
- propositional logic
- fuzzy logic
- bayesian networks
- probabilistic model
- pattern recognition
- knowledge discovery
- classical logic
- image analysis
- temporal logic