✦ LIBER ✦

Finite games for a predicate logic without contractions

✍ Scribed by Daniel Mey

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A new semantics for intuitionistic predi

✍ Yuichi Komori 📂 Article 📅 1986 🏛 Springer Netherlands 🌐 English ⚖ 617 KB

The contraction rule and decision proble

✍ Eiji Kiriyama; Hlroakira Ono 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 975 KB

Efficient hypothetical reasoning system

✍ A. Kondo; T. Makino; M. Ishizuka 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 820 KB

The question of definability in the simp

✍ V. P. Smolin 📂 Article 📅 1974 🏛 Springer US 🌐 English ⚖ 137 KB

A metacompleteness theorem for contracti

✍ John K. Slaney 📂 Article 📅 1984 🏛 Springer Netherlands 🌐 English ⚖ 583 KB

A new value for games without transferab

✍ J. Lemaire 📂 Article 📅 1973 🏛 Springer-Verlag 🌐 English ⚖ 402 KB