Conferčncies i seminaris | Congressos | Grups de recerca | Publicacions | Persones Persones
A. J. Gil
Participacions a Congressos
2nd Barcelona Logic Meeting (BLM95)
CRM, Bellaterra (29/6/1995- 1/7/1995)
Altres activitats (conferències, seminaris)
Ponent de congrés - ? - [29/6/1995 - 1/7/1995]
Sequent calculi and Gentzen systems for the finite-valued Lukasiewicz propositional logics (29/6/1995)
Dins el 2nd Barcelona Logic Meeting, 29 juny a 1 juliol 1995. 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 J. Rebagliato 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 J. Rebagliato
(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 J. Rebagliato
Ponent de congrés - ? - [5/2/1998 - 7/2/1998]
Protoalgebraic Gentzen systems and the cut rule (5/2/1998)
Dins el 4th Barcelona Logic Meeting, 5 a 7 febrer 1998. No en consta la data exacta
(desconegut -data aproximada) - ? - [1/1/1998 - ]
Sistemes de Gentzen protoalgebraics (1/5/1998)
No en consta la data exacta
Ponent de congrés - ? - [16/6/1999 - 19/6/1999]
Multseq: Sequents, equations, and beyond (16/6/1999)
Dins el 5th Barcelona Logic Meeting and 6th Kurt Gödel Colloquium, 16 a 19 juny 1999. No en consta la data exacta. Conjuntament amb G. Saltzer
Ponent de congrés - ? - [5/7/2000 - 8/7/2000]
On the algebraic properties of the Gentzen systems associated with finite algebras (5/7/2000)
Dins el 6th Barcelona Logic Meeting, 5 a 8 juliol 2000. No en consta la data exacta