✦ LIBER ✦

Cut elimination for a logic with induction and co-induction

✍ Scribed by Alwen Tiu; Alberto Momigliano

Book ID: 118461182
Publisher: Elsevier Science
Year: 2012
Tongue: English
Weight: 510 KB
Volume: 10
Category: Article
ISSN: 1570-8683
DOI: 10.1016/j.jal.2012.07.007

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

CUT ELIMINATION FOR PROPOSITIONAL DYNAMI

CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT

✍ Robert A. Bull 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 764 KB

## Abstract The aim of this paper is to extend the semantic analysis of tense logic in Rescher/Urquhart [3] to propositional dynamic logic without\*. For this we develop a nested sequential calculus whose axioms and rules directly reflect the steps in the semantic analysis. It is shown that this ca

Cut-Elimination and a Permutation-Free S

Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic

✍ Roy Dyckhoff; Luis Pinto 📂 Article 📅 1998 🏛 Springer Netherlands 🌐 English ⚖ 616 KB

A framework for ICAI systems based on in

A framework for ICAI systems based on inductive inference and logic programming

✍ Kazuhisa Kawai; Riichiro Mizoguchi; Osamu Kakusho; Jun’ichi Toyoda 📂 Article 📅 1987 🏛 Springer 🌐 English ⚖ 683 KB

A uniform semantic proof for cut-elimina

A uniform semantic proof for cut-elimination and completeness of various first and higher order logics

✍ Mitsuhiro Okada 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 201 KB

Three-level inverter configuration with

Three-level inverter configuration with common-mode voltage elimination for induction motor drive

✍ Kanchan, R.S.; Tekwani, P.N.; Baiju, M.R.; Gopakumar, K.; Pittet, A. 📂 Article 📅 2005 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 931 KB

A new relational Tri-training system wit

A new relational Tri-training system with adaptive data editing for inductive logic programming

✍ Yanjuan Li; Maozu Guo 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 970 KB