A logic program for transforming sequent proofs to natural deduction proofs

DOI10.1007/BFb0038694zbMath1502.68063MaRDI QIDQ5053007

Amy P. Felty

Publication date: 26 November 2022

Published in: Extensions of Logic Programming (Search for Journal in Brave)

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07) Logic programming (68N17) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

Interpolation theorems for intuitionistic predicate logic ⋮ Representing scope in intuitionistic deductions

This page was built for publication: A logic program for transforming sequent proofs to natural deduction proofs