Conferències i seminaris | Congressos | Grups de recerca | Publicacions | Persones Persones
Don Leonard Pigozzi (Estats Units)
Publicacions
Amalgamation and interpolation in abstract algebraic logic, 1996
CZELAKOWSKI, J. & PIGOZZI, D. *Amalgamation and interpolation in abstract algebraic logic*. Publicacions del CRM, núm. 343 (1996)
An exact algebraic characterization of behavorial subtyping, 1995
LEAVEN, G.T. & PIGOZZI, D. *An exact algebraic characterization of behavorial subtyping*. Publicacions del CRM, núm. 315 (1995)
Fregean Logics, 2000
CZELAKOWSKI, J. & PIGOZZI, D. *Fregean Logics*. Publicacions del CRM, núm. 440 (2000)
Fregean logics with the multiterm deduction theorem and their algebraization, 2000
CZELAKOWSKI, J. & PIGOZZI, D. *Fregean logics with the multiterm deduction theorem and their algebraization*. Publicacions del CRM, núm. 433 (2000)
Fully adequate Gentzen systems and the deduction theorem, 1999
FONT, J.M.; JANSANA, R. & PIGOZZI, D. *Fully adequate Gentzen systems and the deduction theorem*. Publicacions del CRM, núm. 422 (1999)
Implication in abstract algebraic logic, 1995
PALASINSKA, K. & PIGOZZI, D. *Implication in abstract algebraic logic*. Publicacions del CRM, núm. 311 (1995)
Participacions a Congressos
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)
Joint Conference of the 5th Barcelona Logic Meeting (BLM99) and the 6th Kurt Gödel Colloquium
Barcelona (16/6/1999- 19/6/1999)
Organitzat conjuntament amb la Kurt-Gödel-Society. Finançat per la Kurt-Gödel-Society, la DGESeIC, la CIRIT, la Univ. Politècnica Catalunya i la Univ. Barcelona, amb la col·laboracció de la Diputació de Barcelona
Altres activitats (conferències, seminaris)
Investigador visitant - Iowa State Univ. Ames - Lògica [11/9/1995 - 28/2/1996]
First results of a theory of abstract implication, II (1/11/1995)
No en consta la data exacta
Programa d'estades d'any sabàtic de la Dirección General de Investigación Científica y Técnica (DGICYT)
Investigador visitant - Iowa State Univ. Ames - Lògica [11/9/1995 - 28/2/1996]
First results of a theory of abstract implication, I (1/11/1995)
No en consta la data exacta
Programa d'estades d'any sabàtic de la Dirección General de Investigación Científica y Técnica (DGICYT)
Investigador visitant - Iowa State Univ. - Lògica [1/4/1997 - 31/7/1997]
Second order algebrizable logics, IV (1/4/1997)
No en consta la data exacta
Programa d'estades d'any sabàtic de la Dirección General de Investigación Científica y Técnica (DGICYT)
Investigador visitant - Iowa State Univ. - Lògica [1/4/1997 - 31/7/1997]
Second order algebrizable logics, III (1/4/1997)
No en consta la data exacta
Programa d'estades d'any sabàtic de la Dirección General de Investigación Científica y Técnica (DGICYT)
Investigador visitant - Iowa State Univ. - Lògica [1/4/1997 - 31/7/1997]
Second order algebrizable logics, II (1/4/1997)
No en consta la data exacta
Programa d'estades d'any sabàtic de la Dirección General de Investigación Científica y Técnica (DGICYT)
Investigador visitant - Iowa State Univ. - Lògica [1/4/1997 - 31/7/1997]
Second order algebrizable logics, I (1/4/1997)
No en consta la data exacta
Programa d'estades d'any sabàtic de la Dirección General de Investigación Científica y Técnica (DGICYT)
Investigador visitant - Iowa State Univ. - Lògica [1/4/1997 - 31/7/1997]
Abstract Algebraic Logic: Past, present and future (1/7/1997)
Dins el Workshop on Abstract Algebraic Logic, 1 a 5 juliol 1997. No en consta la data exacta
Programa d'estades d'any sabàtic de la Dirección General de Investigación Científica y Técnica (DGICYT)
Investigador visitant - Iowa State Univ. - Lògica [14/6/1999 - 29/7/1999]
The algebraic theory of Gentzen calculi: an abstract algebraic logic approach (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