Book chapter · Conference paper
Formalizing Axiomatic Systems for Propositional Logic in Isabelle/HOL
We formalize soundness and completeness proofs for a number of axiomatic systems for propositional logic in the proof assistant Isabelle/HOL.
Language: | English |
---|---|
Publisher: | Springer |
Year: | 2021 |
Pages: | 32-46 |
Proceedings: | 14<sup>th</sup> International Conference on Intelligent Computer Mathematics |
Series: | Lecture Notes in Computer Science |
ISBN: | 3030810968 , 3030810976 , 9783030810962 and 9783030810979 |
ISSN: | 16113349 and 03029743 |
Types: | Book chapter and Conference paper |
DOI: | 10.1007/978-3-030-81097-9_3 |
ORCIDs: | From, Asta Halkjær and Villadsen, Jørgen |