Buscar recursos académicos

En el cálculo proposicional intuicionista podemos considerar los símbolos de conectivos asociados a la implicación, conjunción, disyunción y negación respectivamente. Kuznetsov introdujo un símbolo de conectivo un...

La idea de construir una álgebra que expresara matemáticamente propiedades for­males de conceptos lógicos tiene hoy más de un siglo. En 1847 G. Boole presentó un sis­tema algebraico asociable al cálculo de conect...

En este trabajo estamos interesados en propiedades geométricas de espacios homogéneos de grupos unitarios. Estos espacios homogéneos, construidos a partir de elementos de la teoría de operadores, son variedades de di...

A mediados de la década de 1980, se inició una fructífera colaboración entre H. Porta y L. Recht, a quienes pronto se les sumó G. Corach, en la que atacaron una aproximación a la teoría de álgebras de operadores ...