A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness

von From, Asta Halkjeer
Veröffentlicht in TABLEAUX (32. : 2023 : Prag) Automated reasoning with analytic tableaux and related methods (2023)

Formalizing Axiomatic Systems for Propositional Logic in Isabelle/HOL

von From, Asta Halkjer
Veröffentlicht in CICM (14. : 2021 : Online) Intelligent Computer Mathematics (2021)