Sesión Lógica y ComputabilidadCálculo de secuentes para \(\mathcal {L}_{\leq}^{3,2}\)
Julio Agustin Estevez
Universidad Nacional del Sur, Departamento de Matemática, Bahía Blanca, Argentina - Esta dirección de correo electrónico está siendo protegida contra los robots de spam. Necesita tener JavaScript habilitado para poder verlo.
En 1977, J. Berman introdujo las álgebras de Ockham. A partir de sus subvariedades que satisfacen la identidad \(f^{2m}(x)=x\), donde \(f^{0}(x)=x\) y \(f^{n+1}(x)=f(f^{n}(x))\), T. Almada y J. Vaz De Carvalho introdujeron la variedad \({\cal L}^{m}_n\) determinada por las álgebras de Lukasiewicz \(m-\)generalizadas de orden \(n\). En esta presentación abordaremos la lógica que surge a partir de las \( L^{2}_3\)–álgebras que preserva el orden y determinaremos un sistema de secuentes para la misma.
Trabajo en conjunto con: Carlos Gallardo (Universidad Nacional del Sur, Argentina) y Juan Sebastián Slagter (Universidad Nacional del Sur, Argentina).