2.1. Projectes de recerca finançats pel Govern Espanyol (actius l'any 2009)

Trieu la institució Centre de Recerca Matemàtica ICREA Universitat Autònoma de Barcelona Universitat de Barcelona Universitat de Girona Universitat de Lleida Universitat Politècnica de Catalunya Universitat Pompeu Fabra Universitat Rovira i Virgili Universitat de Vic Altres Trieu l'àrea de recerca Àlgebra Anàlisi Equacions en derivades parcials Estadística matemàtica Geometria Lògica Matemàtica discreta Optimització Probabilitat Sistemes dinàmics Teoria de nombres Topologia Altres Títol del projecte Investigador principal I O Títol del projecte Investigador principal

Altres investigadors:

 

Lògica algebraica i lògiques no clàssiques

Investigador principal: Torrens Torrell, Antonio
Institució: UB
Període: 2009-2011
Investigadors doctors: 5 Investigadors no doctors: 1

Investigadors doctors del projecte:

Torrens Torrell, Antonio (IP)

Font Llovet, Josep Maria - UB

Gil Estallo, Ángel Javier - UPF

Gispert Brasó, Joan - UB

Jansana Ferrer, Ramon - UB

 Línies del projecte:

Lògica algebraica abstracta: Teoria i metodologia general Investigador responsable: Font Llovet, Josep Maria - UB Àrea de recerca: Lògica Paraules clau: Lògica algebraica, Lògica algebritzable, Semàntica algebraica 2000 Math. Subject Class.: 03G99,08C15,03G10 Descripció Publicacions més destacades

Lògiques No-clàssiques: Lògiques subestructurals, estructures algebraiques associades i complexitat Investigador responsable: Torrens Torrell, Antoni - UB Àrea de recerca: Lògica Paraules clau: Lògiques subestructurals, grau de veritat, reticles residuals 2000 Math. Subject Class.: 03B47,03B52,06B99 Descripció Publicacions més destacades