𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Alias calculus, change calculus and frame inference

✍ Scribed by Kogtenkov, Alexander; Meyer, Bertrand; Velder, Sergey

Book ID
121532081
Publisher
Elsevier Science
Year
2015
Tongue
English
Weight
485 KB
Volume
97
Category
Article
ISSN
0167-6423

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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