Rare card
Sequent calculus
- Value
- 50 W
- Attack
- 256
- Defence
- 205
- Players
- 0
In mathematical logic, sequent calculus is a style of formal logical argumentation in which every line of a proof is a conditional tautology (called a sequent by Gerhard Gentzen) instead of an unconditional tautology.
Get Sequent calculus in your collection
Every Wikilord card is a Wikipedia article. Open packs for free, trade, battle and climb the leaderboard.
Open a free pack