HoCHC: a refutationally complete and semantically invariant system of higher-order logic modulo theories

DOI10.5555/3470152.3470200MaRDI QIDQ6654513zbMATH OpenFDO

Authors Chih-Hao Luke Ong, Dominik Wagner

Publication date 19 December 2024

Full work available at URL https://doi.org/10.5555/3470152.3470200

Mathematics Subject Classification ID

Higher-order logic (03B16) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Reducing higher-order recursion scheme equivalence to coinductive higher-order constrained Horn clauses
• scientific article; zbMATH DE number 1303338
• Higher-order Horn clauses
• scientific article; zbMATH DE number 3988745
• The Clausal Theory of Types

Cited in

(1)

• Reducing higher-order recursion scheme equivalence to coinductive higher-order constrained Horn clauses

This page was built for publication: HoCHC: a refutationally complete and semantically invariant system of higher-order logic modulo theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6654513)