Searching for "Resolution for Many-Valued Logics." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Resolution-based Theorem Proving for Many-valued Logics
- …J. Symbolic Computation (1995) 11, 1--000 Resolution-based Theorem Proving for Many-valued Logics…
- Cited by 30 (3 self) – Add To MetaCart
-
Automated Theorem Proving by Resolution for Finitely-Valued Logics Based on Distributive Lattices
- …. Keywords: Automated theorem proving, resolution, many-valued logics, distributive lattices, Priestley…
- Cited by 10 (2 self) – Add To MetaCart
-
Sound and complete sld-resolution for bilattice-based annotated logic programs
- …. This enriches resolution for many-valued logics which have linearly ordered sets of values, as it was defined…
- Cited by 2 (2 self) – Add To MetaCart
-
Characterizations of Classes of Programs by Three-Valued Operators
- …, and that the class of \Phi -accessible programs is computationally adequate under SLDNF-resolution. Many-valued…
- Cited by 22 (21 self) – Add To MetaCart
Showing 1 through 4.
