Tesis doctoral de Rodriguez Salas Antonio Jesús
Tras una breve presentacion de las algebras de sales asociadas a la parte implicativa del calculo proposicional infinito valente de lukasiewicz se estudian las propiedades logico-algebraicas mas importantes de las algebras de wajsberg poniendo especial interes en el estudio de la semisimplicidad arquimedianidad y n+1- acotacion. Con respecto a los calculos n+1- valentes se demuestra la finitud de las algebras finitamente generadas y se calcula su cardinal para el caso de las libres.
Datos académicos de la tesis doctoral «Un estudio algebraico de los calculos proposicionales de lukasiewicz.«
- Título de la tesis: Un estudio algebraico de los calculos proposicionales de lukasiewicz.
- Autor: Rodriguez Salas Antonio Jesús
- Universidad: Barcelona
- Fecha de lectura de la tesis: 01/01/1981
Dirección y tribunal
- Director de la tesis
- Josep Pla Carrera
- Tribunal
- Presidente del tribunal: Sales Valles Francisco De A.
- Rafael Mallol Balmaña (vocal)
- Cascante Davila Joaquin M. (vocal)
- Pablo Bobillo Guerrero (vocal)