We consider a mathematical model for uncertain reasoning based on
many-valued logic and logic programming. To handle some aspects of
expert systems we discuss disjunctive logic programs (without negation).
In order to fit our programs with the knowledge base we investigate logical
systems with arbitrary (tunable/floating) fuzzy conjunctions
(t-norms). We show the completeness of our semantics.
