This is a preview. Log in through your library . Abstract Global properties of canonical derivability predicates (the standard example is Pr() in Peano Arithmetic) are studied here by means of a ...
We introduce new proof systems for propositional logic, simple deduction Frege systems, general deduction Frege systems, and nested deduction Frege systems, which augment Frege systems with variants ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback