Skip to main navigation
Skip to search
Skip to main content
Utrecht University Home
Help & FAQ
Link opens in a new tab
Search content at Utrecht University
Home
People
Research units
Research output
Activities
In the media
Prizes & Grants
On the Existence of the Sequent-style Proof Systems
Seyedamirhossein Akbartabatabai (Invited speaker)
OFR - Theoretical Philosophy
Activity
:
Talk or presentation
›
Invited talk
›
Academic
Period
11 May 2019
Event title
Workshop on Admissible Rules and Unification III
Event type
Workshop
Location
Prague, Czech Republic
Show on map
Documents & Links
On the Existence of the Sequent-style Proof Systems
File
:
application/pdf, 265 KB
Type
:
Text
X