Sara Negri

Sara Negri

University of Genoa
E-mail confirmado em unige.it
Citado por 3493
structural proof theory geometric logic modal and non-classical logics labelled deduction formal epistemology
Luca Roversi

Luca Roversi

Professor of Computer Science, Università di Torino
E-mail confirmado em di.unito.it
Citado por 1445
Theoretical Computer Science (Unconvetional) Computational Models Structural Proof Theory Computational Complexity
Revantha Ramanayake

Revantha Ramanayake

University of Groningen
E-mail confirmado em rug.nl
Citado por 343
structural proof theory non-classical logics logics
Carsten Führmann

Carsten Führmann

Interflex Datensysteme GmbH
E-mail confirmado em allegion.com
Citado por 284
Programming language semantics category theory structural proof theory.
Meghdad Ghari

Meghdad Ghari

University of Isfahan
E-mail confirmado em ltr.ui.ac.ir
Citado por 130
Justification Logic Modal Logic Structural Proof Theory
Benjamin Ralph

Benjamin Ralph

Lecturer in Computer Science, University of Bath
E-mail confirmado em bath.ac.uk
Citado por 44
Proof Theory Structural Proof Theory Deep Inference
Ante Debeljuh

Ante Debeljuh

Assistant at the Philosophy Department, University of Rijeka
E-mail confirmado em student.uniri.hr
epistemic logic philosophy of logic structural proof theory