|
|||||
|
|
Intermediate logics preserving admissible inference rules of heyting calculus |
|
| Authors: | Vladimir V. Rybakov |
| Abstract: | |
| Keywords: | Intermediate logic Admissible inference rule Heyting's calculus Tabular logic Intuitionistic propositional logic Modal logic Finite model property Kripke model |