✦ LIBER ✦

Impossibility Results in the Equational Logic of Processes

✍ Scribed by Luca Aceto

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The logic of algebraic rules as a genera

✍ Tomasz Furmanowski 📂 Article 📅 1983 🏛 Springer Netherlands 🌐 English ⚖ 463 KB

A weak form of interpolation in equation

✍ L. L. Maksimova 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 397 KB

The logical impossibility of miracles in

✍ Larry Lee Blackman 📂 Article 📅 1978 🏛 Springer Netherlands 🌐 English ⚖ 469 KB

Restricted Interpolation and the Project

✍ L.L. Maksimova 📂 Article 📅 2003 🏛 Springer US 🌐 English ⚖ 169 KB

Factoring out the impossibility of logic

✍ Philippe Mongin 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 195 KB

Impossibility results in the axiomatic t

✍ Edward Packel 📂 Article 📅 1980 🏛 Springer US 🌐 English ⚖ 446 KB