Sara Negri

Sara Negri

University of Genoa
在 unige.it 的電子郵件地址已通過驗證
被引用 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
在 di.unito.it 的電子郵件地址已通過驗證
被引用 1445 次
Theoretical Computer Science (Unconvetional) Computational Models Structural Proof Theory Computational Complexity
Revantha Ramanayake

Revantha Ramanayake

University of Groningen
在 rug.nl 的電子郵件地址已通過驗證
被引用 343 次
structural proof theory non-classical logics logics
Carsten Führmann

Carsten Führmann

Interflex Datensysteme GmbH
在 allegion.com 的電子郵件地址已通過驗證
被引用 284 次
Programming language semantics category theory structural proof theory.
Meghdad Ghari

Meghdad Ghari

University of Isfahan
在 ltr.ui.ac.ir 的電子郵件地址已通過驗證
被引用 130 次
Justification Logic Modal Logic Structural Proof Theory
Benjamin Ralph

Benjamin Ralph

Lecturer in Computer Science, University of Bath
在 bath.ac.uk 的電子郵件地址已通過驗證
被引用 44 次
Proof Theory Structural Proof Theory Deep Inference
Ante Debeljuh

Ante Debeljuh

Assistant at the Philosophy Department, University of Rijeka
在 student.uniri.hr 的電子郵件地址已通過驗證
epistemic logic philosophy of logic structural proof theory