✦ LIBER ✦

Cut elimination in coalgebraic logics

✍ Scribed by Dirk Pattinson; Lutz Schröder

Book ID: 113641898
Publisher: Elsevier Science
Year: 2010
Tongue: English
Weight: 457 KB
Volume: 208
Category: Article
ISSN: 0890-5401
DOI: 10.1016/j.ic.2009.11.008

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Admissibility of Cut in Coalgebraic Logi

Admissibility of Cut in Coalgebraic Logics

✍ Dirk Pattinson; Lutz Schröder 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 383 KB

Cut-elimination theorem for relevant log

Cut-elimination theorem for relevant logics

✍ G. E. Mints 📂 Article 📅 1976 🏛 Springer US 🌐 English ⚖ 427 KB

Cut-elimination Theorems for Some Infini

Cut-elimination Theorems for Some Infinitary Modal Logics

✍ Yoshihito Tanaka 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 189 KB

In this article, a cut-free system TLMω 1 for infinitary propositional modal logic is proposed which is complete with respect to the class of all Kripke frames. The system TLMω 1 is a kind of Gentzen style sequent calculus, but a sequent of TLMω 1 is defined as a finite tree of sequents in a standar

About cut elimination for logics of comm

About cut elimination for logics of common knowledge

✍ Luca Alberucci; Gerhard Jäger 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 331 KB

Completeness and cut-elimination theorem

Completeness and cut-elimination theorems for trilattice logics

✍ Norihiro Kamide; Heinrich Wansing 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 347 KB

From Basic Logic to Quantum Logics with

From Basic Logic to Quantum Logics with Cut-Elimination

✍ Claudia Faggian; Giovanni Sambin 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 93 KB