CONTRIBUCIO A L'ESTUDI DE CERTS TIPUS DE LOGIQUES ABSTRACTES.
Autor: VERDU SOLANS BUENAVENTURA
Año: 1977
Universidad: BARCELONA
Centro de realización: DEPARTAMENTO DE ESTADISTICA MATEMATICA. FACULTAD DE MATEMATICAS. BARCELONA.
Centro de lectura: MATEMATICAS
Director: SALES VALLES FRANCISCO DE ASIS
Tribunal: SALES VALLES FRANCISCO DE ASIS
, CASCANTE DAVILA JOAQUIN
, CUFI SOBREGRAU JULIAN
, MARTIN RIOJA JOSE ANTONIO
, GUTIERREZ JAIMEZ RAMON
Resumen de la tesis
Materias relacionadas
Tesis relacionadas
- CONTRIBUCIÓ A L'ESTUDI DE LES LÓGIQUES PROPOSICIONALS INTUÏCIONISTES I DE GÖDEL SENSE CONTRACCIÓ, I DELS SEUS FRAGMENTS
- CONTRIBUCIO A L'ESTUDI ALGEBRAIC DE MODELS PER A LOGIQUES MULTIVALUADES.
- LOGICAS FINITAMENTE DEDUCTIVAS: RESTRICCIONES DE CARDINALIDAD EN LA PROPIEDAD DE LA DEDUCCION.
- LOGIQUES MODALS TETRAVALENTS.
- CONTRIBUCIO A L'ANALISI LOGICA DE LA IMPRECISIO.
- CONTRIBUCIONES A LA TEORIA ABSTRACTA DE MODELOS.
- SISTEMES DE GENTZEN MULTIDIMENSIONALS I LOGIQUES FINITAMENT VALORADES. TEORIA I APLICACIONS.
- TEOREMA DE VITALI-HAHN-SAKS EN ALGEBRAS DE BOOLE.