𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A sequent calculus for limit computable mathematics

✍ Scribed by Stefano Berardi; Yoriyuki Yamagata

Book ID
108054636
Publisher
Elsevier Science
Year
2008
Tongue
English
Weight
353 KB
Volume
153
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A Sequent Calculus for Automated Reasoni
A Sequent Calculus for Automated Reasoning in Symbolic Computation Systems
✍ Gianna Cioni; Attilio Colagrossi; Alfonso Miola πŸ“‚ Article πŸ“… 1995 πŸ› Elsevier Science 🌐 English βš– 680 KB

In this paper the problem of reasoning on properties of mathematical objects is considered in the context of symbolic computation. Automated reasoning mechanisms are proposed as a new basic computing tool in a symbolic computation system. These mechanisms are aimed to support the semantical correctn

A modal sequent calculus for a fragment
A modal sequent calculus for a fragment of arithmetic
✍ G. Sambin; S. Valentini πŸ“‚ Article πŸ“… 1980 πŸ› Springer Netherlands 🌐 English βš– 657 KB

Global properties of canonical derivability predicates (the standard example is Pr( ) in Peano Arithmetic) are studied here by means of a suitable propositional modal logic GL. i whole book [1] has appeared on GIL and we refer to it for more information and a bibliography on GL. Here we propose a se