| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4662388 | Annals of Pure and Applied Logic | 2008 | 68 Pages |
Abstract
This paper develops a proof theory for logical forms of proofs in the case of monadic languages. Among the consequences are different kinds of generalization of proofs in various schematic proof systems. The results use suitable relations between logical properties of partial proof data and algebraic properties of corresponding sets of linear diophantine equations.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
