INVESTIGADORES
CASTIGLIONI JosÉ Luis
congresos y reuniones científicas
Título:
Fórmulas sinónimas y categorías de lógicas invariantes por sustituciones
Autor/es:
J.L. CASTIGLIONI; VIBRENTIS, FRANCISCO ANTONIO
Lugar:
Mendoza, Argentina
Reunión:
Congreso; Reunión conjunta se la Unión Matemática Argentina y la Sociedad Chilena de Matemática (SUMA 2019); 2019
Institución organizadora:
Unión Matemática Argentina y Sociedad Chilena de Matemática
Resumen:
Dado que gran parte de las lógicas son invariantes por sustituciones, en este trabajo mejoramos la propuesta anterior definiendo una categoría cuyos objetos son lógicas tarskianas invariantes por sustituciones.
