Логика нулевого порядка - Zeroth-order logic

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

использованная литература

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