Conferències i seminaris | Congressos | Grups de recerca | Publicacions | Persones Persones
R. Adillon
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]
A Gentzen system equivalent to the BCK-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/1998 - ]
Sobre el càlcul proposicional intuïcionista amb implicació, conjunció, disjunció, fusió i zero i sense contracció, I (1/4/1998)
No en consta la data exacta
(desconegut -data aproximada) - ? - [1/1/2000 - ]
Lògiques intuïcionistes sense contracció (1/5/2000)
No en consta la data exacta