Resolution-Based Decision Procedures for the Positive Theory of Some Finitely Generated Varieties of Algebras

  • Authors:

  • Affiliations:

  • Venue:
  • ISMVL '04 Proceedings of the 34th International Symposium on Multiple-Valued Logic
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper we give resolution-based decision proceduresfor the positive theory of certain finitely-generatedvarieties of algebras. The method is based on the existenceof natural dualities for such classes of algebras.