Agata Tomczyk

According to our database, Agata Tomczyk authored at least 3 papers in 2022.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2022

Natural Deduction Systems for Intuitionistic Logic with Identity.

Szymon Chlebowski, Marta Gawek, Agata Tomczyk

Stud Logica, 2022

Decidability of Intuitionistic Sentential Logic with Identity via Sequent Calculus.

Agata Tomczyk, Dorota Leszczynska-Jasion

Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, 2022

Synthetic Tableaux: Minimal Tableau Search Heuristics.

Michal Sochanski, Dorota Leszczynska-Jasion, Szymon Chlebowski, Agata Tomczyk, Marcin Jukiewicz

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022