scientific article; zbMATH DE number 1341613

zbMATH Open0938.06005MaRDI QIDQ4263162FDOQ4263162

Authors: Viorica Sofronie-Stokkermans 

Publication date: 21 June 2000

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

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

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)

Cited In (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• 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.

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)