Conferències i seminaris | Congressos | Grups de recerca | Publicacions | Persones Persones
Ventura Verdú Solans (Catalunya, Espanya)
Participacions a Congressos
Meeting on Mathematical Logic (BLM94)
CRM, Bellaterra (27/1/1994- 29/1/1994)
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 - ? - [27/1/1994 - 29/1/1994]
Algebraizability and deduction theorems for Gentzen systems (27/1/1994)
Dins el Meeting on Mathematical Logic, 27 a 29 gener 1994. No en consta la data exacta
Ponent de congrés - ? - [29/6/1995 - 1/7/1995]
Algebrization and the deduction theorem for Gentzen systems (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 A. J. Gil i J. Rebagliato
Ponent de congrés - ? - [1/7/1997 - 5/7/1997]
Product logic, Lukasiewicz logic and the deduction theorem (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 - ]
Sobre el càlcul proposicional intuïcionista amb implicació, conjunció, disjunció, fusió i zero i sense contracció, II (1/5/1998)
No en consta la data exacta