Алгоритмы распознавания табличности и предтабличности в расширениях интуиционистского исчисления

Максимова, Л.Л.; Шрайнер, П.А.

dc.contributor.author	Максимова, Л.Л.
dc.contributor.author	Шрайнер, П.А.
dc.date.accessioned	2014-10-17T12:03:14Z
dc.date.available	2014-10-17T12:03:14Z
dc.date.issued	2006
dc.identifier.citation	Максимова Л.Л., Шрайнер П.А. Алгоритмы распознавания табличности и предтабличности в расширениях интуиционистского исчисления // Вестник НГУ. Серия: Математика. 2006. Т.6. вып.3. С. 49-58.	ru_RU
dc.identifier.uri	https://lib.nsu.ru/xmlui/handle/nsu/1845
dc.description.abstract	В данной работе описываются алгоритмы, позволяющие осуществить автоматическое распознавание свойств табличности и предтабличности у суперинтуиционистских и позитивных пропозициональных логик, а также программы, реализующие эти алгоритмы.	ru_RU
dc.language.iso	ru	ru_RU
dc.publisher	Новосибирский государственный университет	ru_RU
dc.title	Алгоритмы распознавания табличности и предтабличности в расширениях интуиционистского исчисления	ru_RU
dc.title.alternative	Algorithms of the recognition of the tabularity and pretabularity in the extensions of the intuitionistic calculus	ru_RU
dc.type	Article	ru_RU