Inici UB | ||
GRC-Grup de recerca en lògiques no clàssiques |
Adreça Professional: Departament de Lògica, Facultat de Matemàtiques (Barcelona - 08007) Telèfon: 934021658 Fax: 934021601 Correu-e: jmfont(a)ub.edu Pàgina Web: http://www.mat.ub.es/~logica/grla/grla.html Codis Unesco: Fonaments de matemàtiques / Lògica matemàtica Paraules Clau: Lógica algebraica / Lógica matemática / Lógicas abstractas / Lógicas no clásicas / Lógica algebraica abstracta Àmbit temàtic: Humanitats |
Ramon Jansana Ferrer jansana(a)ub.edu
Joan Gispert Braso jgispertb(a)ub.edu
Antonio Torrens Torrell atorrens(a)ub.edu
Jose Angel Garcia Cerdaña garcia-cerdanya(a)ub.edu
Angel Gil Estallo
Cignoli, R.; Torrens, A. (2000). An Algebraic analysis of Product Logic. Valued Logic. An International Journal, 5, 45-65. ISSN: 1023-6627
Font, J.M.; Jansana, R. (2001). Leibniz filters and the strong version of a protoalgebraic logic. Archive for Mathematical Logic, 40, 437-465. ISSN: 1432-0665
Elgueta, R.; Jansana, R. (1999). Definability of Leibniz Equality. Studia Logica, 63(2), 223-243. ISSN: 0039-3215
Font, J.M. (1999). On special implicative filters. Mathematical Logic Quarterly, 45(1), 117-126. ISSN: 0942-5616
Font, J.M.; Hájek, P. (2002). On Lukasiewicz's four-valued modal logic. Studia Logica, 68, 157-182. ISSN: 0039-3215
Gispert, J.; Torrens, A. (1998). Quasivarieties generated by Simple MV-algebras. Studia Logica, 61(1), 79-99. ISSN: 0039-3215
Czelakowski, J.; Jansana, R. (2000). Weakly Algebraizable Logics. Journal of Symbolic Logic, 65(2), 641-668. ISSN: 0022-4812
Font, J.M. (1999). On the contributions of Helena Rasiowa to Mathematical Logic. Valued Logic. An International Journal, 4, 159-179. ISSN: 1023-6627
Font, J.M.; Jansana, R.; Pigozzi (2001). Fully adequate Gentzen systems and the deduction theorem. Reports On Mathematical Logic, 35, 115-165. ISSN: 0137-2904
Font, J.M.; Rius, M. (2000). An abstract algebraic logic approach to tetravalent modal logics. Journal of Symbolic Logic, 65(2), 481-518. ISSN: 0022-4812
Celani, S.; Jansana, R. (1999). Priestley Duality, a Sahlqvist Theorem and a Goldblatt-Thomason Theorem forPositive Modal Logic. Logic Journal of the IGPL, 7(6), 683-715. ISSN: 1367-0751
Cignoli, R.; Torrens, A. (2000). Free Stone Algebras. Discrete Mathematics, 222, 251-257. ISSN: 0012-365X
Gil, A.J.; Rebagliato, J.; Verdú, V. (1999). A strong completeness theorem for the Gentzen systems associated with finite algebras. Classical Logics, 9(1), 9-36. ISSN: 1166-3081
Font, J.M.; Jansana, R.; Pigozzi, D. (2003). A Survey of Abstract Algebraic Logic. Studia Logica, 74(1-2), 13-97. ISSN: 0039-3215
Gispert, J.; Mundici, D.; Torrens, A. (1999). Ultraproducts of Z with an Application to Many-Valued Logics. Journal of Algebra, 219(1), 214-223. ISSN: 0021-8693
Cignoli, R.; Torrens, A. (2000). Free cancellative hoops. Algebra Universalis, 43, 213-216. ISSN: 0002-5240
Cignoli, R.; Esteva, F.; Godo, L.; Torrens, A. (2000). Basic Fuzzy Logic is the logic of continuous t-norms and their residua. Soft Computing, 4(2), 106-112. ISSN: 1432-7643
Font, J. M. (2003). Generalized matrices in abstract algebraic logic. En Trends in Logic: 50 years of Studia Logica (Hendriks, V. and Malinowski, J., eds.) (pp. 57 - 86). Kluwer Academic Publishers - S. ISBN: 1402016018.
Font, J. M. (2003). An abstract algebraic logic view of some multiple-valued logics. En Beyond Two: Theory and applications of multiple-valued logics (Fitting, M. and Orlowska, E., eds.) (pp. 25 - 58). Physica-Verlag/Springer - N. ISBN: 3790815411.
Font, J. M.; Hajek, P. (2000). Lukasiewicz and modal logic. En Between words and worlds (T. Childers and J. Palomaki, eds.) (pp. 184 - 198). Philosophia - N.
Joan Gispert Braso (1998). Estudi Algebraic de les Extensions dels Càlculs Multivalorats de Lukasiewicz. Universitat de Barcelona. Tesi Doctoral. .
Romà J. Adillon Boladeres (2001). Contribució a l'estudi de les lògiques proposicionals intuïcionistes i de Gödel sense contracció, i dels seus fragments. Unversitat de Barcelona. Tesi Doctoral. .
Don Pigozzi (Iowa State University, Ames, Iowa)
Janusz Czelakowski (Opole University, Opole, Polònia)
Roberto Cignoli (Universidad de Buenos Aires, Argentina)
Daniele Mundici (Università di Milano, Itàlia)
Sergio Celani (Universidad Nacional del Centro, Tandil, Argentina)
Gernot Salzer (Technische Universität Wien, Viena, Austria)
Katarzyna Palasinska (Technical University of Kraków, Cracòvia, Polònia)
Petr Hájek (Institute of Computer Science. Academy of Sciences, Prague, Czeck Republic)
José Patricio Díaz Varela (Universidad Nacional del Sur, Bahía Blanca, Argentina)
Yde Venema (Institute for Logic, Language and Information, University of Amsterdam, Holanda)
Sigfried Gottwald (Instituts für Logik und Wissenschaftstheorie, Universität Leipzig, Alemanya)
Hiroakira Ono (Japan Advanced Institute for Science and Technology, Tatsunokuchi, Japó)
Franco Montagna (Dipartimento di Scienze Matematiche e Informatiche, Università degli Studi di Siena, Itàlia)
1995 - 1999.
Many-Valued logic for Computer Science Applications . (Acciones COST). Unió Europea. Ref.: AC-15. IP: Luisa Iturrioz
1998 - 1999.
Procedimientos Genéricos de Decisión para Lógicas Finitamente Valoradas. (Acciones Integradas). Ministerio de Educación, Cultura y Deporte. Ref.: HU1997-0017. IP: Buenaventura Verdu Solans
1998 - 2001.
Lógica Algebraica y Lógicas Multivaloradas.. (Programa Nacional de Promoción General del Conocimiento). Secretaría de Estado de Educación, Universidades, Investigación y Desarrollo. Ref.: PB97-0888. IP: Buenaventura Verdu Solans
1998 - 2000.
Lògica Algebraica. (Projectes de recerca per potenciar els grups de recerca consolidats ). Comissionat per a Universitats i Recerca. Generalitat de Catalunya.. Ref.: 1998SGR00018. IP: Josep Maria Font Llovet
2000 - 2000.
Estudi Logic i algebraic de logiques pel raonament aproximat . (Acciones Integradas). Comissionat per a Universitats i Recerca. Generalitat de Catalunya.. Ref.: ACI 99-25. IP: Francesc Esteva Massaguer
álgebras
algebras
2001 - 2004.
Lógica algebraica y lógicas multivaloradas . (Programa Nacional de Promoción General del Conocimiento). Secretaría de Estado de Educación, Universidades, Investigación y Desarrollo. Ref.: BFM2001-3329. IP: Antonio Torrens Torrell
2000 - 2002.
Lògica Algebraica. (Projectes de recerca per potenciar els grups de recerca consolidats ). Comissionat per a Universitats i Recerca. Generalitat de Catalunya.. Ref.: 2000SGR00007. IP: Josep Maria Font Llovet
àlgebres
2001 - 2005.
Lògica Algebraica. (Projectes de recerca per potenciar els grups de recerca consolidats ). Departament d'Universitats, Recerca i Societat de la Informació (Generalitat de Catalunya) DURSI. Ref.: 2001SGR00017. IP: Josep Maria Font Llovet
àlgebres
© GREC | Curricul@ Grups
Última actualització: 17/06/2020 |