Analytic Completeness

From, Asta Halkjær; Schlichtkrull, Anders

doi:10.4230/artifacts.23798

Artifact

Analytic Completeness Software

Authors Asta Halkjær From , Anders Schlichtkrull

Part of: Collection: Supplementary Materials
License: Creative Commons Attribution 4.0 International
Publication Date: 2025-09-22

Document Identifiers

DOI: 10.4230/artifacts.23798
URN: urn:nbn:de:0030-drops-237981

Author Details

Asta Halkjær From

Department of Computer Science, University of Copenhagen, Denmark

Anders Schlichtkrull

Department of Computer Science, Aalborg University Copenhagen, Denmark

Content

Software (Mechanization): https://github.com/astahfrom/Analytic_Completeness
archived version

Version/Status

Content created at: 2025-02-19

Cite As Get BibTex

Asta Halkjær From, Anders Schlichtkrull. Analytic Completeness (Software, Mechanization). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/artifacts.23798

Description

Abstract mechanization of Smullyan and Fitting's abstract consistency properties.

Subject Classification

Keywords

Isabelle/HOL
proof theory
logic

Programming Languages

Isabelle
TeX

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail