Sesión Lógica y Computabilidad

On some implications arising in double \(p\)-algebras

Rodolfo Cristian ERTOLA-BIRABEN

Universidade Estadual de Campinas (UNICAMP), Brasil   -   Esta dirección de correo electrónico está siendo protegida contra los robots de spam. Necesita tener JavaScript habilitado para poder verlo.

Motivated by the fact that the intuitionistic implication may be defined as a term in distributive regular double \(p\)-algebras [1], we study the implicative reduct of not necessarily regular double \(p\)-algebras. The resulting algebras are a particular case of the so-called generalized Hilbert algebras that appear in [2].

Trabajo en conjunto con: José Luis Castiglioni (CMaLP-Universidad Nacional de La Plata y CONICET Argentina).

Referencias

[1] Katrinák, T. The Structure of distributive double p-algebras. Regularity and congruences. Algebra Univ. 3, 238–246 (1973).

[2] Borzooei, R. A. and Shohani, J. On generalized Hilbert algebras. Italian Journal of Pure and Applied Mathematics 29, 71-86 (2012).

Ver resumen en PDF