✦ LIBER ✦

Admissibility of Cut in Coalgebraic Logics

✍ Scribed by Dirk Pattinson; Lutz Schröder

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Cut elimination in coalgebraic logics

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

Coalgebraic semantics of modal logics: A

✍ Clemens Kupke; Dirk Pattinson 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 423 KB

Modalities in the Stone age: A compariso

✍ Alexander Kurz; Raul Leal 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 462 KB

Logical Construction of Final Coalgebras

✍ Luigi Santocanale 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 238 KB

Exploiting Parallelism in Coalgebraic Lo

✍ Komendantskaya, Ekaterina; Schmidt, Martin; Heras, Jónathan 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 309 KB

Decidability of the admissibility proble

✍ V. V. Rybakov 📂 Article 📅 1984 🏛 Springer US 🌐 English ⚖ 968 KB