scientific article; zbMATH DE number 5244184

zbMath1137.03007MaRDI QIDQ5446292

Carsten Ihlemann, Viorica Sofronie-Stokkermans

Publication date: 6 March 2008

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

automated reasoningmonotone functionshierarchical reasoningGödel algebraslattice-ordered structuresMY-algebras

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) MV-algebras (06D35)

Related Items

On deciding satisfiability by theorem proving with speculative inferences, On Combinations of Local Theory Extensions, Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\), On Hierarchical Reasoning in Combinations of Theories, Hierarchical Reasoning for the Verification of Parametric Systems, Locality Results for Certain Extensions of Theories with Bridging Functions, On Local Reasoning in Verification, Towards Complete Reasoning about Axiomatic Specifications, Decision Procedures for Automating Termination Proofs, On Interpolation and Symbol Elimination in Theory Extensions, Set of support, demodulation, paramodulation: a historical perspective, Automatic Verification of Combined Specifications: An Overview