DIPARTIMENTO DI INGEGNERIA DELL'INFORMAZIONE
E SCIENZE MATEMATICHE

UNIVERSITA' DEGLI STUDI DI SIENA
 
 Webmail
Home |  Home Education |  Contacts |  UniSi   Privacy e Cookie policy

Research Groups


Mathematical Logic and General Mathematical Systems
Research area: Mathematical Logic and Foundations


  • Logics for the theatment of uncertain information: Logics of Provability, Fuzzy Logics, game semantics for Fuzzy Logics.
  • Models of computability with oracles. Theory of Numerations. Computably enumerable algebraic structures.
  • Lambda calculus, connections between computability and incompleteness.
  • Ideals in Universal Algebra and in Categorical Algebra. Categorical semantics of logical languages.
 
Keywords ERC
PE1_1 Logic and foundations
 
People
Full Professors: Fabio Bellissima, Andrea Sorbi
Assistant Professors: Duccio Pianigiani, Giulia Simi
Assigments for Teaching Activity:
PhD Students: Cyrille Sandry Simeu
External Collaborators: Marat Nurizinov, Marat Tylyubergenev




Username:
Password:


Dipartimento di Ingegneria dell'Informazione e Scienze Matematiche - Via Roma, 56 53100 SIENA - Italy