scientific article; zbMATH DE number 1341613
From MaRDI portal
Publication:4263162
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
complexitydecidabilityautomated theorem provinguniversal theoryrelational structuressatisfiability of universal sentencesclause form of universal sentencesvarieties of distributive lattices with operators
Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Varieties of lattices (06B20)
Cited In (7)
- Title not available (Why is that?)
- Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras
- 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.
- 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)
