scientific article; zbMATH DE number 553883

zbMATH Open0792.03003MaRDI QIDQ4288052FDOQ4288052

Authors: Curt C. Christian 

Publication date: 21 April 1994

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

completenesssoundnesshereditymaximally consistent extensionmaximally consistent formal system

Mathematics Subject Classification ID

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

Cited In (8)

• Herbrand's theorem as higher order recursion
• On The Uniqueness of the Lindenbaum Extension
• A GENERALIZATION OF LINDENBAUM'S THEOREM FOR PREDICATE CALCULI
• Transition of consistency and satisfiability under language extensions
• Title not available (Why is that?)
• Soundness and completeness of a synthesis algorithm based on example computations
• Title not available (Why is that?)
• Title not available (Why is that?)

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)