✦ LIBER ✦

Derivability of admissible rules

✍ Scribed by G. E. Mints

Publisher: Springer US
Year: 1976
Tongue: English
Weight: 308 KB
Volume: 6
Category: Article
ISSN: 1573-8795
DOI: 10.1007/bf01084082

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Complexity of admissible rules

✍ Emil Jeřábek 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 302 KB

Table admissible inference rules

✍ V. V. Rimatskii 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 200 KB

Proof theory for admissible rules

✍ Rosalie Iemhoff; George Metcalfe 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 887 KB

Bases of admissible rules forK-saturated

Bases of admissible rules forK-saturated logics

✍ V. V. Rimatskii 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 358 KB

Admissible rules for logics containing S

Admissible rules for logics containing S4.3

✍ V. V. Rybakov 📂 Article 📅 1985 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 418 KB

Intermediate logics preserving admissibl

Intermediate logics preserving admissible inference rules of heyting calculus

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

## Abstract The aim of this paper is to look from the point of view of admissibility of inference rules at intermediate logics having the finite model property which extend Heyting's intuitionistic propositional logic __H.__ A semantic description for logics with the finite model property preservin