Joan Gispert Brasˇ

Joan Gispert Brasˇ

Professor/a titular d'Universitat

ORCID: 0000-0002-8528-369X
Scopus Author ID: 57211258479
Researcher ID: AAB-1063-2019
└rea de coneixement : L˛gica i Filosofia de la CiŔncia

Grup de Recerca: GRC-Grup de recerca en l˛giques no clÓssiques

Grups d'Innovaciˇ Docent: Innovaciˇ Docent en MatemÓtiques i InformÓtica

Informaciˇ de contacte
Departament de MatemÓtiques i InformÓtica
Gran Via de les Corts Catalanes 585
934021659
jgispertb(a)ub.edu

Formaciˇ acadŔmica

Lic. en Matemßticas . Universitat de Barcelona . 23/09/1992 . (Diplomatura / Llicenciatura / Grau)
Matematicas . Universitat de Barcelona . 05/11/1998 . (Doctorat )

DocŔncia Impartida (˙ltims 10 anys)

Llenguatge i Raonament MatemÓtic (Grau) - MatemÓtiques - Universidad de Barcelona.
L˛giques Multivalorades (MÓster oficial) - L˛gica Pura i Aplicada - Universidad de Barcelona.
L˛giques No ClÓssiques (MÓster oficial) - L˛gica Pura i Aplicada - Universidad de Barcelona.
Modelitzaciˇ MatemÓtica de Formes de Raonament (Grau) - MatemÓtiques - Universidad de Barcelona.
L˛gica i └lgebra (MÓster oficial) - MatemÓtica Avanšada - Universidad de Barcelona.

LÝnies de Recerca

L˛giques multivalorades de Lukasiewicz
L˛gica multivalorada com a fonament de la L˛gica Borrosa
L˛gica algebraica i l˛giques no clÓssiques

Publicacions rellevants (publicacions en revistes i altres publicacions - ˙ltims 10 anys)

Gispert, J. (2018). Finitary extensions of the nilpotent minimum logic and (almost) structural completeness. Studia Logica, 106(4), pp. 789 - 808 . https://doi.org/10.1007/s11225-017-9766-4 . ISSN: 0039-3215
Gispert, J.; Torrens, A. (2014). Lattice BCK logics with Modus Ponens as unique rule. Mathematical Logic Quarterly, 60(3), pp. 230 - 238 . https://doi.org/10.1002/malq.201300065 . ISSN: 0942-5616
Esteva, F.; Gispert, J.; Manya, F. (2012). Introduction to the Special Issue of the IEEE 40th International Symposium on Multiple-Valued Logic. Journal Of Multiple-Valued Logic And Soft Computing, 19(1-3), pp. 1 - 2 . ISSN: 1542-3980
Benseny, A.; Cascante, C.; Gispert, J.; Verd˙, V. (2012). Millora de l┐actuaciˇ docent del professorat de MatemÓtiques. REIRE. Revista d'Innovaciˇ i Recerca en Educaciˇ, 5(2), pp. 1 - 21 . Repositori Institucional . ISSN: 1886-1946
Coniglio, M.; Esteva, F.; Gispert, J.; Godo, L. (2019). Maximality in finite-valued Łukasiewicz logics defined by order filters. Journal of Logic and Computation, 29(1), pp. 125 - 156 . https://doi.org/10.1093/logcom/exy032 . ISSN: 0955-792X

ConferŔncies i Participacions a Congressos (˙ltims 10 anys)

Coniglio, M.; Esteva, F.; Gispert, J.; Godo, L. (2018). Maximality in finite valued Lukasiewicz logics defined by order filters. (Presentaciˇ comunicaciˇ) . Logic, Algebra and Truth Degrees 20018 (LATD2018) . Berna . SU¤SSA
J.Gispert (2017). Admissible rules and (almost) structural completeness for many valued logic. (ConferŔncia invitada) . XIV congreso Monteiro . BahÝa Blanca . ARGENTINA
Gispert, J. (2017). Finitary extensions of nilpotent minimum logic. (Presentaciˇ comunicaciˇ) . 7th international workshop on Many valued logic: ManyVal17 Toulouse, 15-17 november 2017 . Toulouse . FRANăA
Gispert, J. (2016). . (Participaciˇ comitŔ cientÝfic/organitzador) . Syntax Meets Semantics 2016 . Barcelona . ESPANYA
Gispert, J. (2016). Almost structural completeness and structural completeness of nilpotent minimum logics. (Presentaciˇ comunicaciˇ) . Syntax Meets Semantics 2016 . SYSMICS 2016. Syntax Meets Semantics. Booklet of abstracts. Almost structural completeness and structural completeness of nilpotent minimum logics, pp 87-89 . Barcelona . ESPANYA
Gispert, J. (2016). Almost structural completeness and structural completeness of nilpotent minimum logics. (ConferŔncia invitada) . Many valued logic: algebraic, geometric and computational aspects. Milano, 26-27 september 2016 . Milano . IT└LIA
Gispert, J. (2014). Quasivarieties of MV-algebras and structurally complete Lukasiewicz Logics. (ConferŔncia invitada) . LATD 2014 . Vienna Summer Logic 2014 Abstract Booklet Logic Colloqium. Logic, Algebra and Truth Degrees . Vienna . └USTRIA
Gispert, J. (2015). Structurally complete Lukasiewicz Logics. (ConferŔncia invitada) . Workshop on Admissible Rules and Unificaction II . Les Diablerets . SU¤SSA
Gispert, J. (2015). Admissible rules for Lukasiewicz Logics. (ConferŔncia invitada) . 3rd MaToMUVI meeting . Buenos Aires . ARGENTINA
Gispert, J.; Torrens, A. (2013). Lattice BCK logics with modus ponens as the only rule. (ConferŔncia invitada) . ManyVal 2013 . ManyVal2013: Games, decisions and rationality . Praga . REP┌BLICA TXECA