Conferències i seminaris | Congressos | Grups de recerca | Publicacions | Persones Persones
Josep Maria Font Llovet (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)
On Lukasiewicz´s four-valued modal logic, 2000
FONT, J.M. & HÁJEK, P. *On Lukasiewicz´s four-valued modal logic*. Publicacions del CRM, núm. 457 (2000)
Workshop on Abstract Algebraic Logic, 1998
FONT, J.M. (Ed.) *Workshop on Abstract Algebraic Logic*. Quaderns del CRM, núm. 10 (1998)
Participacions a Congressos
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 - Univ. Barcelona - [29/6/1995 - 1/7/1995]
An open problem in algebraic logic (29/6/1995)
Dins el 2nd Barcelona Logic Meeting, 29 juny a 1 juliol 1995. No en consta la data exacta
Conferenciant ocasional - Univ. Barcelona - [1/11/1996 - 1/12/1996]
Semàntica de matrius: panorama històric (1/11/1996)
No en consta la data exacta
Conferenciant ocasional - Univ. Barcelona - [1/11/1996 - 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 R. Jansana
Conferenciant ocasional - Univ. Barcelona - [1/4/1997 - ]
On strong versions of protoalgebraic logics (1/4/1997)
No en consta la data exacta
Conferenciant ocasional - Univ. Barcelona - [1/4/1997 - ]
Fully adequate Gentzen systems and closure properties of Full Models, I (1/4/1997)
No en consta la data exacta
Ponent de congrés - Univ. Barcelona - [1/7/1997 - 5/7/1997]
Generalized matrices and full models (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]
On the construction of substructures in generalized matrices (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/6/1998]
Versions fortes de lògiques protoalgebraiques: condicions necessàries i/o suficients i teoremes de transfer (1/3/1998)
No en consta la data exacta
Conferenciant ocasional - Univ. Barcelona - [1/3/1998 - 1/6/1998]
Filtres de Leibniz en lògiques multivalorades (1/6/1998)
No en consta la data exacta
Conferenciant ocasional - Univ. Barcelona - [1/3/1999 - ]
Sobre una lògica modal a quatre valors amb interpretació epistèmica (1/3/1999)
No en consta la data exacta
Ponent de congrés - Univ. Barcelona - [16/6/1999 - 19/6/1999]
Combining modality and four-valuedness: an abstracts 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
Conferenciant ocasional - Univ. Barcelona - [1/4/2000 - ]
Lukasiewicz i la lògica modal (1/4/2000)
No en consta la data exacta
Investigador visitant - Univ. Barcelona - Lògica [1/9/2000 - 15/2/2001]
Sistemas de Gentzen plenamente adecuados y el Teorema de la deducción (1/2/2001)
No en consta la data exacta