Curtis Franks
Biographic Data
| ID | 5995701 |
|---|---|
| NAME | Curtis Franks |
| GIVEN NAMES | Curtis |
| FAMILY NAME | Franks |
| SIGNATURE | FRANKS C |
| AFFILIATIONS | University of Notre Dame |
| VERIFIED | No |
| TOTAL WORKS | 2 |
| TOTAL CITATIONS | 0 |
| WORKS AS AUTHOR | 2 |
| WORKS AS EDITOR | 0 |
| FIRST PUBLICATION YEAR | 2021 |
| LATEST PUBLICATION YEAR | 2025 |
| H-INDEX | 0 |
Disjunctive syllogism
The inference pattern known as disjunctive syllogism (DS) appears as a derived rule in Gentzen’s natural deduction calculi ni and nk . This is a paradoxical feature of Gentzen’s calculi in so far as DS is sometimes thought of as appearing intuitively more elementary than the rules $$\vee $$ E, $$\lnot $$ E, and EFQ that figure in its derivation. For this reason, many contemporary presentations of natural deduction depart from Gentzen and include …
The Deduction Theorem (Before and After Herbrand)
Attempts to articulate the real meaning or ultimate significance of a famous theorem comprise a major vein of philosophical writing about mathematics. The subfield of mathematical logic has supplie
No prominent works on this page.
The Deduction Theorem (Before and After Herbrand)
Attempts to articulate the real meaning or ultimate significance of a famous theorem comprise a major vein of philosophical writing about mathematics. The subfield of mathematical logic has supplie
Disjunctive syllogism
The inference pattern known as disjunctive syllogism (DS) appears as a derived rule in Gentzen’s natural deduction calculi ni and nk . This is a paradoxical feature of Gentzen’s calculi in so far as DS is sometimes thought of as appearing intuitively more elementary than the rules $$\vee $$ E, $$\lnot $$ E, and EFQ that figure in its derivation. For this reason, many contemporary presentations of natural deduction depart from Gentzen and include …
Logic, programming, and type systems (2 works) · Mathematical economics (2 works) · Mathematics (2 works) · Advanced Algebra and Logic (1 work) · Algorithm (1 work) · Automated theorem proving (1 work) · Calculus (dental) (1 work) · Characterization (materials science) (1 work) · Discrete mathematics (1 work) · Epistemology (1 work)