Abstract
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.
and falsity, implication and negation, and disjunction and negation.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of Isabelle Workshop 2022 |
| Number of pages | 9 |
| Publication date | 2022 |
| Publication status | Published - 2022 |
| Event | Isabelle Workshop 2022 - Hybrid event, Haifa, Israel Duration: 11 Aug 2022 → 11 Aug 2022 |
Workshop
| Workshop | Isabelle Workshop 2022 |
|---|---|
| Location | Hybrid event |
| Country/Territory | Israel |
| City | Haifa |
| Period | 11/08/2022 → 11/08/2022 |