Conferències i seminaris | Congressos | Grups de recerca | Publicacions | Persones Persones
J. Rebagliato
Participacions a Congressos
2nd Barcelona Logic Meeting (BLM95)
CRM, Bellaterra (29/6/1995- 1/7/1995)
Workshop on Abstract Algebraic Logic
CRM, Bellaterra (1/7/1997- 5/7/1997)
FONT, J.M. (Ed.) *Workshop on Abstract Algebraic Logic*. Quaderns del CRM, núm. 10 (1998)
Altres activitats (conferències, seminaris)
Ponent de congrés - ? - [29/6/1995 - 1/7/1995]
On two sequent calculi for the Stone three-valued propositional logic (29/6/1995)
Dins el 2nd Barcelona Logic Meeting, 29 juny a 1 juliol 1995. No en consta la data exacta
(desconegut -data aproximada) - ? - [1/1/1996 - ]
Semàntiques algebraiques per a sistemes deductius, II (1/11/1996)
No en consta la data exacta
(desconegut -data aproximada) - ? - [1/1/1996 - ]
Semàntiques algebraiques per a sistemes deductius, I (1/11/1996)
No en consta la data exacta
Ponent de congrés - ? - [30/1/1997 - 1/2/1997]
A strong completeness theorem for the Gentzen systems associated with finite algebras (30/1/1997)
Dins el 3rd Barcelona Logic Meeting, 30 gener a 1 febrer 1997. No en consta la data exacta. Conjuntament amb A. J. Gil i V. Verdú
(desconegut -data aproximada) - ? - [1/1/1997 - ]
Sistemes de Gentzen protoalgebraics i la regla del tall, II (1/3/1997)
No en consta la data exacta. Conjuntament amb A. J. Gil
(desconegut -data aproximada) - ? - [1/1/1997 - ]
Sistemes de Gentzen protoalgebraics i la regla del tall, I (1/3/1997)
No en consta la data exacta. Conjuntament amb A. J. Gil
Ponent de congrés - ? - [1/7/1997 - 5/7/1997]
Protoalgebraic Gentzen systems and the cut rule (1/7/1997)
Dins el Workshop on Abstract Algebraic Logic, 1 a 5 juliol 1997. No en consta la data exacta
(desconegut -data aproximada) - ? - [1/1/1998 - ]
Sistemes de Gentzen protoalgebraics, II (1/5/1998)
No en consta la data exacta
(desconegut -data aproximada) - ? - [1/1/1998 - ]
Sistemes de Gentzen protoalgebraics, I (1/5/1998)
No en consta la data exacta