Импликативные логики, ламбековские системы и экспоненциальные мультикатегории.
##plugins.themes.bootstrap3.article.main##
Abstract
In the paper Lambek's type implicative deductive systems and exponential categories for them are considered and some metamathematical theorems are proved (deduction theorem, functional completeness). Then we formulate both sequential implicative deductive systems and exponential multicategories for which the cut elimination theorem is proved. Finally sequential deductive implicative metasystems and dual deductive systems and categories are discussed.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Vasyukov V. Импликативные логики, ламбековские системы и экспоненциальные мультикатегории. // Logicheskie Issledovaniya / Logical Investigations. 2000. VOL. 7. C. 90-118.
Issue
Section
Papers