Логика нулевого порядка

Логика нулевого порядка является логикой первого порядка без переменных или кванторов . Некоторые авторы используют фразу «логику нулевого порядка» , как синоним для исчисления высказываний , ^[1] , но альтернативное определение расширяет пропозициональную логику путем добавления константы, операций и отношений на не булевых значениях. ^[2] Каждый язык нулевого порядка в этом более широком смысле является полным и компактным . ^[2]

Ссылки [ править ]

^ Эндрюс, Питер Б. (2002), Введение в математическую логику и теорию типов: к истине через доказательство , Серия прикладной логики, 27 (второе изд.), Kluwer Academic Publishers, Dordrecht, p. 201, DOI : 10.1007 / 978-94-015-9934-4 , ISBN 1-4020-0763-9, MR 1932484.
^ ^a ^b Tao, Теренс (2010), «1.4.2 Логика нулевого порядка», Эпсилон комнаты, II , Американское математическое общество, Провиденс, Род-Айленд, стр. 27–31, DOI : 10.1090 / gsm / 117 , ISBN 978-0-8218-5280-4, Руководство по ремонту 2780010.

[1] Эндрюс, Питер Б. (2002), Введение в математическую логику и теорию типов: к истине через доказательство , Серия прикладной логики, 27 (второе изд.), Kluwer Academic Publishers, Dordrecht, p. 201, DOI : 10.1007 / 978-94-015-9934-4 , ISBN 1-4020-0763-9, MR 1932484.

[tao-2] Tao, Теренс (2010), «1.4.2 Логика нулевого порядка», Эпсилон комнаты, II , Американское математическое общество, Провиденс, Род-Айленд, стр. 27–31, DOI : 10.1090 / gsm / 117 , ISBN 978-0-8218-5280-4, Руководство по ремонту 2780010.

[1]