scientific article; zbMATH DE number 553883

MaRDI QIDQ4288052zbMATH OpenFDO

Authors Curt C. Christian

Publication date 21 April 1994

zbMATH Keywords

completenesssoundnesshereditymaximally consistent extensionmaximally consistent formal system

Mathematics Subject Classification ID

Classical first-order logic (03B10) Abstract deductive systems (03B22)

Recommendations

• Soundness and completeness proofs by coinductive methods
• Completeness of the generalized propositional calculus
• A language independent proof of the soundness and completeness of generalized Hoare logic
• A general framework for sound and complete Floyd-Hoare logics
• Completeness of Proof Systems for Equational Specifications
• Consistency and Completeness of Rewriting in the Calculus of Constructions
• Consistency and Completeness of Rewriting in the Calculus of Constructions
• scientific article; zbMATH DE number 3869303

Cited in

(8)

• Herbrand's theorem as higher order recursion
• A GENERALIZATION OF LINDENBAUM'S THEOREM FOR PREDICATE CALCULI
• scientific article; zbMATH DE number 3559562 (Why is no real title available?)
• Soundness and completeness of a synthesis algorithm based on example computations
• Transition of consistency and satisfiability under language extensions
• scientific article; zbMATH DE number 1874099 (Why is no real title available?)
• On The Uniqueness of the Lindenbaum Extension
• scientific article; zbMATH DE number 3269880 (Why is no real title available?)

This page was built for publication:

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