Login / Signup
Övge Öztürk
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Proof Theory
Predicate Logic
Multi Valued
Default Reasoning
Top Venues
Log. J. IGPL
</>
Publications
</>
Zalán Gyenis
,
Övge Öztürk
Amalgamation and Robinson property in universal algebraic logic.
Log. J. IGPL
32 (1) (2024)