scientific article; zbMATH DE number 1341613

MaRDI QIDQ4263162zbMATH OpenFDO

Authors Viorica Sofronie-Stokkermans

Publication date 21 June 2000

zbMATH Keywords

complexitydecidabilityautomated theorem provinguniversal theoryrelational structuressatisfiability of universal sentencesclause form of universal sentencesvarieties of distributive lattices with operators

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Varieties of lattices (06B20)

Recommendations

• Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators
• scientific article; zbMATH DE number 1950265
• On unification for bounded distributive lattices
• Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras
• scientific article; zbMATH DE number 1614718

Cited in

(7)

• scientific article; zbMATH DE number 1950265 (Why is no real title available?)
• Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras
• scientific article; zbMATH DE number 1614718 (Why is no real title available?)
• Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators
• Distributive lattices with a decidable monadic second order theory.
• Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids
• On unification for bounded distributive lattices

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 Q4263162)