Inici UB
Grup de Recerca en lògiques no clàssiques.

Dades Generals

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: FILOSOFIA

Equip Investigador

Ramon Jansana Ferrer jansana(a)ub.edu

Buenaventura Verdu Solans v.verdu(a)ub.edu

Antonio Torrens Torrell atorrens(a)ub.edu

Josep Maria Font Llovet jmfont(a)ub.edu

Joan Gispert Braso jgispertb(a)ub.edu

Tommaso Moraschini tommaso.moraschini(a)gmail.com

Jose Angel Garcia Cerdaña garcia-cerdanya(a)ub.edu

Felix Bou Moliner bou(a)ub.edu

Publicacions en Revistes

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. 

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

Publicacions en Llibres

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.

Tesis Doctorals i Treballs d'Investigació

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. . 

Contactes de Recerca

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)

Projectes de Recerca

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ó: 08/10/2015