✦ LIBER ✦

A Sequent Calculus for Subtyping Polymorphic Types

✍ Scribed by Jerzy Tiuryn

Book ID: 112252552
Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 254 KB
Volume: 164
Category: Article
ISSN: 0890-5401
DOI: 10.1006/inco.2000.2941

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A simple sequent calculus for partial fu

A simple sequent calculus for partial functions

✍ Morten Elvang-Gøransson; Olaf Owe 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 871 KB

A sequent calculus for limit computable

A sequent calculus for limit computable mathematics

✍ Stefano Berardi; Yoriyuki Yamagata 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 353 KB

A Sequent Calculus for a Negative Free L

A Sequent Calculus for a Negative Free Logic

✍ Norbert Gratzl 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 273 KB

A Sequent Calculus for Propositional Dyn

A Sequent Calculus for Propositional Dynamic Logic for Agents

✍ J. Sakalauskaitė 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 82 KB

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

M-calculus — a sequent method for automa

M-calculus — a sequent method for automatic theorem proving

✍ A. V. Mantsivoda 📂 Article 📅 1993 🏛 Springer US 🌐 English ⚖ 496 KB