𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A simple sequent calculus for partial functions

✍ Scribed by Morten Elvang-Gøransson; Olaf Owe

Publisher
Elsevier Science
Year
1993
Tongue
English
Weight
871 KB
Volume
114
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

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