✦ LIBER ✦

Observational logic, constructor-based logic, and their duality

✍ Scribed by Michel Bidoit; Rolf Hennicker; Alexander Kurz

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Fuzzy logics and observables

✍ Radko Mesiar 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 382 KB

Involutive monoidal t-norm based logic a

✍ Liu Lianzhen; Li Kaitai 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 67 KB

Temporal prepositions and their logic

✍ Ian Pratt-Hartmann 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 313 KB

Nonboolean partitions and their logic

✍ D. Mundici 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 246 KB

PerfectMV-algebras and their Logic

✍ Lawrence P. Belluce; Antonio Di Nola; Brunella Gerla 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 416 KB

Abductive logic programming and disjunct

✍ Chiaki Sakama; Katsumi Inoue 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 207 KB