✦ LIBER ✦

Table admissible inference rules

✍ Scribed by V. V. Rimatskii

Publisher: Springer US
Year: 2009
Tongue: English
Weight: 200 KB
Volume: 48
Category: Article
ISSN: 0002-5232
DOI: 10.1007/s10469-009-9055-z

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Bases of admissible inference rules for

Bases of admissible inference rules for table modal logics of depth 2

✍ V. V. Rimatskii 📂 Article 📅 1996 🏛 Springer US 🌐 English ⚖ 339 KB

An explicit basis for admissible inferen

An explicit basis for admissible inference rules in table modal logics of width 2

✍ V. V. Rimatskii 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 302 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

An explicit basis for the admissible inf

An explicit basis for the admissible inference rules in the Gödel-Löb logicGL

✍ B. R. Fedorishin 📂 Article 📅 2007 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 151 KB

Derivability of admissible rules

✍ G. E. Mints 📂 Article 📅 1976 🏛 Springer US 🌐 English ⚖ 308 KB

Complexity of admissible rules

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