Kinds of Proof Calculi
The three most well-known styles of proof calculi are:
- The Hilbert calculi
- The natural deduction calculi
- The sequent calculi
Each of these can give a complete and axiomatic formalization of propositional or predicate logic of either the classical or intuitionistic flavour, almost any modal logic, and many substructural logics, such as relevance logic or linear logic. Indeed it is unusual to find a logic that resists being represented in one of these calculi.
Read more about this topic: Proof Theory
Famous quotes containing the words kinds of, kinds and/or proof:
“There are only three kinds of people: those who serve God, having found him; others who are occupied in seeking him, not having found him; while the remainder live without seeking him and without having found him. The first are reasonable and happy; the last are foolish and unhappy; those between are unhappy and unreasonable.”
—Blaise Pascal (16231662)
“There are three kinds of lies: lies, damned lies and statistics.”
—Benjamin Disraeli (18041881)
“The insatiable thirst for everything which lies beyond, and which life reveals, is the most living proof of our immortality.”
—Charles Baudelaire (18211867)