✦ LIBER ✦

A Gentzen system for involutive residuated lattices

✍ Scribed by Annika M. Wille

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The word problem for involutive residuat

✍ Annika M. Wille 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 130 KB

A gentzen system for conditional logic

✍ Fernando Guzmán 📂 Article 📅 1994 🏛 Springer Netherlands 🌐 English ⚖ 775 KB

A horn sentence for involution lattices

✍ Gábor Czédli 📂 Article 📅 1994 🏛 Springer Netherlands 🌐 English ⚖ 241 KB

A cut-free gentzen-type system for the l

✍ Branislav R. Boričić 📂 Article 📅 1986 🏛 Springer Netherlands 🌐 English ⚖ 876 KB

A minimal lattice realization for multiv

✍ Kazumi Horiguchi; Takuya Nishimura; Akira Nagata 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 408 KB

On the independence of a postulate syste

✍ G. Szász 📂 Article 📅 1951 🏛 Springer 🌐 English ⚖ 161 KB