Formalizing Implicational Axiomatics for Classical First-Order Logic with Functions in Isabelle/HOL

Jørgen Villadsen, Roberto Pettinau

Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

9 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Formalizing Implicational Axiomatics for Classical First-Order Logic with Functions in Isabelle/HOL'. Together they form a unique fingerprint.

Computer Science

Keyphrases