Axiomatizaciones secuenciales abstractas de teorías finitas universales de Horn: teoría de la prueba abstracta versus lógica algebraica general

Aquí, presentamos y estudiamos el concepto de axiomatización secuencial abstracta de lógicas generalizadas basada en el concepto de derivación abstracta de álgebras absolutamente libres a álgebras arbitrarias. Como resultado general, demostramos que cualquier lógica que tenga un teorema de deducción tiene una axiomatización secuencial abstracta equivalente. A la inversa, demostramos que cualquier lógica algebraizable que tenga una axiomatización secuencial abstracta algebraizable tiene un teorema de deducción. En cuanto a la lógica oracional, demostramos que cualquier lógica conjuntiva autoextensional tiene una axiomatización secuente abstracta algebraizable equivalente a la variedad intrínseca de la lógica. Como consecuencia, demostramos que cualquier lógica conjuntiva autoextensional algebraizable tiene un teorema de deducción. Finalmente, exploramos varias lógicas orientativas no protoalgebraicas, y se ha demostrado que cada una tiene una secuenciataxiomatización abstracta algebraizable equivalente a la variedad intrínseca de la lógica.

• | Autor: Alexej P. Pynko
• | Editorial: Publicado de forma independiente
• | Fecha de publicación: 22 de enero de 2019
• | Número de páginas: 78 páginas
• | Idioma: inglés
• | Encuadernación: Tapa blanda
• | ISBN-10: 1794595546
• | ISBN-13: 9781794595545