Fitch-style deduction system
GPTKB entity
Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
deductive system
|
| gptkbp:alsoKnownAs |
Fitch system
|
| gptkbp:contrastsWith |
gptkb:sequent_calculus
gptkb:Hilbert_system natural deduction |
| gptkbp:feature |
box notation
line-by-line proof format nested subproofs |
| https://www.w3.org/2000/01/rdf-schema#label |
Fitch-style deduction system
|
| gptkbp:implementedIn |
logic textbooks
software proof assistants |
| gptkbp:namedAfter |
gptkb:Frederic_Fitch
|
| gptkbp:originatedIn |
20th century
|
| gptkbp:usedFor |
formal proofs
|
| gptkbp:usedIn |
gptkb:logic
proof theory teaching logic |
| gptkbp:bfsParent |
gptkb:Gentzen's_natural_deduction_system
|
| gptkbp:bfsLayer |
8
|