Search

Your search keyword '"Calculus -- Analysis"' showing total 3 results
Start Over Descriptor "Calculus -- Analysis" Topic mathematical logic -- analysis
3 results on '"Calculus -- Analysis"'

1. Intuitionistic logic freed of all metarules

Author

Corsi, Giovanna and Tassi, Gabriele

Subjects
Calculus -- Analysis, Calculus -- Tests, problems and exercises, Mathematical logic -- Analysis, Symbolic and mathematical logic -- Analysis, Mathematics
Abstract

The authors present two calculi for intuitionistic logic that eliminates the need for global metarules.

Published
2007

3. Sequent calculus in natural deduction style

Author

Negri, Sara and Plato, Jan von

Subjects
Symbolic and mathematical logic -- Analysis, Mathematical logic -- Analysis, Calculus -- Analysis, Sequential analysis, Mathematics
Abstract

A study of sequent calculus is presented in which the management of weakening and contraction is organized as in natural deduction with a comparison to natural deduction given through translation of derivations between the two systems. In the given calculus, only those cuts need to be eliminated that correspond to detour and permutation conversions in natural deduction are discussed.

Published
2001

Catalog

Books, media, physical & digital resources
See catalog results