On Axiomatic Systems for Classical Propositional Logic

Agnes Moesgård Eschen, Jørgen Villadsen

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

132 Downloads (Pure)

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.
Original languageEnglish
Title of host publicationProceedings of Isabelle Workshop 2022
Number of pages9
Publication date2022
Publication statusPublished - 2022
EventIsabelle Workshop 2022 - Hybrid event, Haifa, Israel
Duration: 11 Aug 202211 Aug 2022

Workshop

WorkshopIsabelle Workshop 2022
LocationHybrid event
Country/TerritoryIsrael
CityHaifa
Period11/08/202211/08/2022

Fingerprint

Dive into the research topics of 'On Axiomatic Systems for Classical Propositional Logic'. Together they form a unique fingerprint.

Cite this