|
|||||
|
|
Derivability of admissible rules with simple premises in the Lambek calculus |
|
| Authors: | A N Safiullin |
| Institution: | (1) Faculty of Mechanics and Mathematics, Moscow State University, Leninskie Gory, Moscow, 119899, Russia |
| Abstract: | A method for proving the fact that any admissible in the basic Lambek calculus L rule with a premise consisting of a finite number of simple (i.e., not containing connectives) sequents is derivable is described in the paper. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |