Isabel Maria André Ferreirim

Institutional Address:

Centro de Álgebra da Universidade de Lisboa
Av. Prof. Gama Pinto, 2, 1649-003 Lisboa, Portugal

Departamento de Matemática da Faculdade de Ciências da Universidade de Lisboa
Rua Ernesto de Vasconcelos, Campo Grande, Edifício C6, Piso 2, 1749-016 Lisboa, Portugal

Tel: +351 21 7904700 || Fax: +351 217954288 || E-mail:
Web: -

Qualifications:

• Equivalência ao Grau de Doutor em Matemática (Álgebra, Lógica e Fundamentos), Faculdade de Ciências, Universidade de Lisboa, 1993
• Doutoramento em Matemática, Universidade de Illinois, Chicago, 1992
• Licenciatura em Matemática, Faculdade de Ciências, Universidade de Lisboa, 1984

Current Position, starting date:

Assistant Professor, Department of Mathematics, Faculty of Sciences, University of Lisbon, 1993

Principal Area:

Algebraic Logic and Universal Algebra

Other Areas of Interest:

Lattice Theory and Algebraic Structures

Publications

1. Burris, S.; Ferreirim, Isabel M. A.
   Decidable varieties of hoops
   Reports on Mathematical Logic, 28 (1994), 53-59
   (Paper in International Scientific Journal with refereeing)
   
   
2. Ferreirim, Isabel M. A.; Vaz de Carvalho, Júlia
   Dualities, Interpretability and Ordered Structures
   Centro de Álgebra da Universidade de Lisboa (CAUL), 1999
   (Editing of Book)
   
   
3. Blok, W. J.; Ferreirim, Isabel M. A.
   On the structure of hoops
   Algebra Universalis, 43 (2000), 233-257
   (Paper in International Scientific Journal with refereeing)
   
   
4. Ferreirim, Isabel M. A.
   A short note on hoops and continuous t-norms
   Proceedings of the Workshop on Algebra and Substructural Logics, JAIST (Japan, 1999), Reports on Mathematical Logic, 34 (2000), 141-152
   (Communication in Conference Proceedings without refereeing)
   
   
5. Ferreirim, Isabel M. A.
   On a Conjecture by Andrzej Wronski for BCK-algebras and subreducts of hoops
   Scientiae Mathematicae Japonicae, 53 (2001), 119-132
   (Paper in International Scientific Journal with refereeing)
   
   

Talks given

1. A classe equacional gerada pelos aros (monoides naturalmente ordenados com residuação) totalmente ordenados: uma classe de álgebras da Lógica
   Project Seminars - Lattices, Universal Algebra and Algebraic Logic, CAUL, 04/11/1999
   
   
2. Basic hoops - an algebraic investigation of continuous t-norms (joint work with P. Agliano and F. Montagna)
   Workshop on Algebra and Substructural Logics, JAIST, Ishikawa, Japão, 12/11/1999
   
   
3. Sobre álgebras de Heyting
   Algebra Seminars, CAUL, 30/11/2000
   
   
4. Variedades de Álgebras com reduto equivalencial
   Project Seminars - Lattices, Universal Algebra and Algebraic Logic, CAUL, 01/02/2001
   
   

Conferences attended

1. Workshop on Algebra and Substructural Logics
   Japan Advanced Institute for Science and Technology, Ishikawa, Japan, 10-17/11/1999
   (Contributed Talk)
   
   
2. Lattices, Universal Algebra and Applications
   CAUL, Lisbon, Portugal, 28-30/05/2003
   (Organizing Committee)
   
   

The data in this page is the exclusive responsibility of Isabel Maria André Ferreirim. [Edit]

CAUL database last updated: 14-09-2009