Agata Tomczyk

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 3

Top Topics

Sequent Calculus

Natural Deduction

Theorem Proving

Top Venues

Publications

Szymon Chlebowski, Marta Gawek, Agata Tomczyk
Natural Deduction Systems for Intuitionistic Logic with Identity. Stud Logica 110 (6) (2022)
Michal Sochanski, Dorota Leszczynska-Jasion, Szymon Chlebowski, Agata Tomczyk, Marcin Jukiewicz
Synthetic Tableaux: Minimal Tableau Search Heuristics. IJCAR (2022)
Agata Tomczyk, Dorota Leszczynska-Jasion
Decidability of Intuitionistic Sentential Logic with Identity via Sequent Calculus. NCL (2022)