Logika nulového řádu - Zeroth-order logic

Logika nulového řádu je logika prvního řádu bez proměnné nebo kvantifikátory. Někteří autoři používají frázi „logika nultého řádu“ jako synonymum pro výrokový kalkul,^[1] ale alternativní definice rozšiřuje výrokovou logiku přidáváním konstant, operací a vztahů k jiným než booleovským hodnotám.^[2] Každý jazyk nultého řádu v tomto širším smyslu je kompletní a kompaktní.^[2]

Reference

^ Andrews, Peter B. (2002), Úvod do matematické logiky a teorie typů: k pravdě skrz důkaz, Aplikovaná logická řada, 27 (Druhé vydání), Kluwer Academic Publishers, Dordrecht, s. 201, doi:10.1007/978-94-015-9934-4, ISBN 1-4020-0763-9, PAN 1932484.
^ ^A ^b Tao, Terence (2010), „1.4.2 Zeroth-order logic“, Epsilon pokoje, II, American Mathematical Society, Providence, RI, str. 27–31, doi:10,1090 / gsm / 117, ISBN 978-0-8218-5280-4, PAN 2780010.

[1] Andrews, Peter B. (2002), Úvod do matematické logiky a teorie typů: k pravdě skrz důkaz, Aplikovaná logická řada, 27 (Druhé vydání), Kluwer Academic Publishers, Dordrecht, s. 201, doi:10.1007/978-94-015-9934-4, ISBN 1-4020-0763-9, PAN 1932484.

[tao-2] A ^b Tao, Terence (2010), „1.4.2 Zeroth-order logic“, Epsilon pokoje, II, American Mathematical Society, Providence, RI, str. 27–31, doi:10,1090 / gsm / 117, ISBN 978-0-8218-5280-4, PAN 2780010.

[1]

[2]