✦ LIBER ✦

A note on admissible rules and the disjunction property in intermediate logics

✍ Scribed by Alexander Citkin

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A criterion for admissibility of rules i

✍ V. V. Rybakov 📂 Article 📅 1984 🏛 Springer US 🌐 English ⚖ 975 KB

A Note on Truth-Value Functions in the I

✍ Akira Nakamura 📂 Article 📅 1963 🏛 John Wiley and Sons 🌐 English ⚖ 172 KB 👁 1 views

A note on the properties of Stein-rule a

✍ Sherry Zhefang Zhou 📂 Article 📅 2010 🏛 Academy of Mathematics and Systems Science, Chines 🌐 English ⚖ 145 KB

Logical frameworks, Aristotle and soft s

✍ Simon Bell 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 57 KB 👁 2 views

A note on universal instantiation in the

✍ William Harper 📂 Article 📅 1974 🏛 Springer Netherlands 🌐 English ⚖ 399 KB