Formalizing axiomatic systems for propositional logic in Isabelle/HOL
From MaRDI portal
Publication:2128791
DOI10.1007/978-3-030-81097-9_3zbMath1485.68292OpenAlexW3186360832MaRDI QIDQ2128791
Jørgen Villadsen, Asta Halkjær From, Agnes Moesgård Eschen
Publication date: 22 April 2022
Full work available at URL: https://orbit.dtu.dk/en/publications/a8f3ad6e-d47f-450f-a889-5af864770732
Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20) Formalization of mathematics in connection with theorem provers (68V20)
Uses Software
Cites Work
This page was built for publication: Formalizing axiomatic systems for propositional logic in Isabelle/HOL