La lógica de orden cero es lógica de primer orden sin variables ni cuantificadores . Algunos autores usan la frase "lógica de orden cero" como sinónimo del cálculo proposicional , [1] pero una definición alternativa amplía la lógica proposicional agregando constantes, operaciones y relaciones en valores no booleanos. [2] Cada lenguaje de orden cero en este sentido más amplio es completo y compacto . [2]
Referencias
- ^ Andrews, Peter B. (2002), Una introducción a la lógica matemática y la teoría de tipos: a la verdad a través de la prueba , Applied Logic Series, 27 (Segunda ed.), Kluwer Academic Publishers, Dordrecht, p. 201, doi : 10.1007 / 978-94-015-9934-4 , ISBN 1-4020-0763-9, MR 1932484.
- ^ a b Tao, Terence (2010), "1.4.2 Lógica de orden cero", Un épsilon de habitación, II , American Mathematical Society, Providence, RI, págs. 27–31, doi : 10.1090 / gsm / 117 , ISBN 978-0-8218-5280-4, MR 2780010.