Conference paper
On Axiomatic Systems for Classical Propositional Logic
We describe selected axiomatic systems for classical propositional logic and show how Isabelle/HOL helps investigate such systems. We consider systems based on implication and falsity, implication and negation, and disjunction and negation.
Language: | English |
---|---|
Year: | 2022 |
Proceedings: | Isabelle Workshop 2022 |
Types: | Conference paper |
ORCIDs: | Villadsen, Jørgen |