✦ LIBER ✦

Semantic admissibility criteria for deduction rules in S4 and Int

✍ Scribed by V. V. Rybakov

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Bases of admissible rules of the logics

✍ V. V. Rybakov 📂 Article 📅 1985 🏛 Springer US 🌐 English ⚖ 692 KB

A criterion for admissibility of rules i

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

Bases of admissible rules in modal logic

✍ S. V. Babenyshev 📂 Article 📅 1993 🏛 Springer US 🌐 English ⚖ 449 KB

Construction of an Explicit Basis for Ru

✍ Vladimir V. Rybakov 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 142 KB

Bragg's rule study in binary metal alloy

✍ J.S.-Y. Feng; W.K. Chu; M.-A. Nicolet 📂 Article 📅 1973 🏛 Elsevier Science 🌐 English ⚖ 611 KB

Cleanup criteria for radionuclides in US

📂 Article 📅 2003 🏛 Elsevier Science ⚖ 208 KB