Enrico Martino, Intuitionistic Proof Versus Classical Truth: The Role of Brouwer's Creative Subject in Intuitionistic Mathematics, Springer, 2018 - Logic, Epistemology, and the Unity of Science, vol. 42.
Peter FletcherPublished in: Stud Logica (2019)
Keyphrases
- linear logic
- natural deduction
- cut elimination
- computer science
- sequent calculus
- theorem prover
- lecture notes
- proof search
- proof theoretic
- classical logic
- logic programming
- logical framework
- computer algebra
- fixed point
- inference rules
- valued logic
- artificial intelligence
- machine intelligence
- automated reasoning
- theorem proving
- data mining
- truth values
- sequent calculi
- electrical engineering
- automated theorem proving
- fuzzy set theory
- modal logic
- quantum mechanics
- lecture notes in artificial intelligence
- mathematical knowledge