Conferències i seminaris | Congressos | Grups de recerca | Publicacions | Persones Persones
Ramon Jansana Ferrer (Catalunya, Espanya)
Publicacions
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)
Leibniz filters and the strong version of a protoalgebraic logic, 1998
FONT, J.M. & JANSANA, R. *Leibniz filters and the strong version of a protoalgebraic logic*. Publicacions del CRM, núm. 393 (1998)
Weakly algebraizable logics, 1997
CZELAKOWSKI, J. & JANSANA, R. *Weakly algebraizable logics*. Publicacions del CRM, núm. 365 (1997)
Participacions a Congressos
3rd Barcelona Logic Meeting (BLM97)
CRM, Bellaterra (30/1/1997- 1/2/1997)
CRM. *The 3rd Barcelona Logic Meeting*. Quaderns del CRM, núm. 9 (1997)
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)
Conferenciant ocasional - Univ. Barcelona - [28/4/1993 - ]
Algebrización de sistemas deductivos (28/4/1993)
Conferenciant ocasional - Univ. Barcelona - [1/12/1996 - ]
Semàntica de matrius i semàntica de lògiques abstractes (1/12/1996)
No en consta la data exacta. Conjuntament amb J. M. Font
Conferenciant ocasional - Univ. Barcelona - [1/12/1996 - ]
Models plens (1/12/1996)
No en consta la data exacta
Ponent de congrés - Univ. Barcelona - [30/1/1997 - 1/2/1997]
Full models and Gentzen calculi (30/1/1997)
Dins el 3rd Barcelona Logic Meeting, 30 gener a 1 febrer 1997. No en consta la data exacta
Conferenciant ocasional - Univ. Barcelona - [1/4/1997 - 1/5/1997]
Fully adequate Gentzen systems and closure properties of Full Models, II (1/4/1997)
No en consta la data exacta
Conferenciant ocasional - Univ. Barcelona - [1/4/1997 - 1/5/1997]
Fully adequate Gentzen systems and closure properties of Full Models, III (1/4/1997)
No en consta la data exacta
Conferenciant ocasional - Univ. Barcelona - [1/4/1997 - 1/5/1997]
Accumulative Gentzen systems and full models (1/5/1997)
No en consta la data exacta
Ponent de congrés - Univ. Barcelona - [1/7/1997 - 5/7/1997]
On strong versions of protoalgebraic logics (1/7/1997)
Dins el Workshop on Abstract Algebraic Logic, 1 a 5 juliol 1997. No en consta la data exacta
Ponent de congrés - Univ. Barcelona - [5/2/1998 - 7/2/1998]
Bisimulations and positive modal logic (5/2/1998)
Dins el 4th Barcelona Logic Meeting, 5 a 7 febrer 1998. No en consta la data exacta
Conferenciant ocasional - Univ. Barcelona - [1/3/1998 - 1/11/1998]
Ideals en quasiverietats d´àlgebres, II (1/3/1998)
No en consta la data exacta
Conferenciant ocasional - Univ. Barcelona - [1/3/1998 - 1/11/1998]
Ideals en quasiverietats d´àlgebres, I (1/3/1998)
No en consta la data exacta
Conferenciant ocasional - Univ. Barcelona - [1/3/1998 - 1/11/1998]
Lògiques assercionals feblement algebritzables (1/4/1998)
No en consta la data exacta
Conferenciant ocasional - Univ. Barcelona - [1/3/1998 - 1/11/1998]
La versió forta d´una lògica protoalgebraica (1/11/1998)
No en consta la data exacta
Conferenciant ocasional - Univ. Barcelona - [1/3/1999 - 1/5/1999]
Bisimulacions: lògica modal i lògica de primer ordre (1/3/1999)
No en consta la data exacta
Conferenciant ocasional - Univ. Barcelona - [1/3/1999 - 1/5/1999]
Dualitat de Priestley per a les àlgebres modals positives (1/5/1999)
No en consta la data exacta
Ponent de congrés - Univ. Barcelona - [5/7/2000 - 8/7/2000]
Bounded distributive lattices with strict implication (5/7/2000)
Dins el 6th Barcelona Logic Meeting, 5 a 8 juliol 2000. No en consta la data exacta
Ponent de congrés - Univ. Barcelona - [5/7/2000 - 8/7/2000]
Lògiques subintuicionistes (1/11/2000)
No en consta la data exacta