Обсуждение:Исчисление Ламбека
Уточнение[править код]
Ув. Участник:ToPantokrator, мне показалось что тема данной статьи раскрывается в «Категориальная грамматика», так ли это, мб их стоит объединить? Если что, могу помочь) — Ailbeve (обс.) 20:47, 24 октября 2020 (UTC)
Ув. Участник:Ailbeve, по моему мнению, исчисление Ламбека и категориальные грамматики должны быть описаны в разных статьях по следующей причине. Исчисление Ламбека — это логическое исчисление, оно интересно математикам само по себе (интересны его свойства типа полноты относительно моделей, NP-полноты, интересны его расширения; о них я написал в статье); оно сопоставимо с интуиционистской логикой, с логикой высказываний. Само по себе оно никак не привязано к грамматикам, и грамматики возникают лишь как некая область применения этого исчисления. Собственно, сами категориальные грамматики — это понятие из другой области математики: теории формальных языков (к этой же области относятся, например, контекстно-свободные грамматики). В статье Категориальная грамматика лишь частично раскрывается то, что я хотел сделать в статье Исчисление Ламбека, само исчисление описано там вскользь, неявно, имплицитно; вероятно, я бы хотел в будущем доработать и эту статью, дополнив её, сделав обзор других видов категориальных грамматик и описав их свойства. В целом, я бы хотел видеть обе этих статьи, но если оставлять одну, то, думаю, наоборот, логичнее оставить исчисление Ламбека, так как в нём раскрывается материал, аналогичный представленному в статье про категориальные грамматики плюс материал, свойственный лишь ему. ToPantokrator (обс.) 21:24, 24 октября 2020 (UTC)