Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics

Project Details


Resum not available
Effective start/end date1/03/1628/02/19

Collaborative partners

  • Università degli Studi di Salerno (lead)
  • Ustav Theorie Informace a Automatizace AV CR, v.v.i. (UTIA)
  • The Spanish National Research Council (CSIC)
  • Techische Universität Wien (Vienna University of Technology) (TU WIEN)
  • Universitat Autònoma de Barcelona (UAB)
  • Universitat de Barcelona
  • Universität Bern
  • Università degli Studi di Cagliari
  • University of Milan
  • Università degli Studi dell'Insubria
  • Palacký University Olomouc
  • Ustav Informatiky AV CR (USTINOF)
  • Universiteit van Amsterdam


Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.