✦ LIBER ✦

Classifying categories for partial equational logic

✍ Scribed by Lutz Schröder

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Partial Horn logic and cartesian categor

✍ E. Palmgren; S.J. Vickers 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 664 KB

Training Classifiers for Tree-structured

✍ Ortega-Moral, M. ;Gutiérrez-González, D. ;De-Pablo, M. L. ;Cid-Sueiro, J. 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 349 KB

The Equational Logic For Graph Algebras

✍ Reinhard Pöschel 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 English ⚖ 598 KB

A spatial equational logic for the appli

✍ Étienne Lozes; Jules Villard 📂 Article 📅 2010 🏛 Springer-Verlag 🌐 English ⚖ 678 KB

A modal reduction for partial logic

✍ Juan Barba 📂 Article 📅 1993 🏛 Springer Netherlands 🌐 English ⚖ 293 KB

On the Dirichlet problem for first order

✍ Francesco Saverio De Blasi; Giulio Pianigiani 📂 Article 📅 1999 🏛 SP Birkhäuser Verlag Basel 🌐 English ⚖ 403 KB