𝔖 Bobbio Scriptorium
✦   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

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Intermediate logics preserving admissibl
✍ 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

Complexity of admissible rules
✍ Emil JeΕ™Γ‘bek πŸ“‚ Article πŸ“… 2007 πŸ› Springer 🌐 English βš– 302 KB