Intuitionistic Logic
- Sequent, sequent calculus
- Natural deduction
- Intuitionistic type theory
- BHK interpretation
- Curry–Howard
- Linear logic
- Game semantics
Read more about this topic: List Of Functional Programming Topics
Famous quotes containing the word logic:
“We want in every man a long logic; we cannot pardon the absence of it, but it must not be spoken. Logic is the procession or proportionate unfolding of the intuition; but its virtue is as silent method; the moment it would appear as propositions and have a separate value, it is worthless.”
—Ralph Waldo Emerson (1803–1882)