Reglas estructurales y análisis de la consecuencia lógica

La semántica formal de valores de verdad para la lógica de primer orden, tal como fue fundada por Alfred Tarski, es considerada por muchos como la herramienta formal adecuada para reconstruir la verdad lógica y la relación de consecuencia lógica.

Guardado en:
Detalles Bibliográficos
Autor principal: Legris, Javier
Formato: conferenceObject
Lenguaje:Español
Publicado: Eduardo Sota 2016
Materias:
Acceso en línea:http://hdl.handle.net/11086/3390
Aporte de:

Ejemplares similares