-
5Effective SkolemizationIn Helle Hvid Hansen, Andre Scedrov & Ruy J. G. B. De Queiroz (eds.), Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings, Springer Nature Switzerland. pp. 69-82. 2023.We define a new relatively simple Skolemization method called atomic Skolemization which allows for a non-elementarily bounded speed-up of cut-free LK-proofs and resolution proofs w.r.t. the standard Skolemization and Andrews Skolemization.
-
Vienna University of TechnologyUndergraduate
Vienna, Vienna, Austria