The basic predicate logic and the predicate monoidal t-norm logic is generalized in two ways giving up commutativity of conjunctions. Completeness theorems with respect to (safe) interpretations over corresponding algebras of truth functions are proved.
The basic predicate logic and the predicate monoidal t-norm logic is generalized in two ways giving up commutativity of conjunctions. Completeness theorems with respect to (safe) interpretations over corresponding algebras of truth functions are proved. (en)
Základní fuzzy predikátová logika a predikátová monoidální t-normová logika jsou zobecněny dvěma způsoby nepředpokládajícími komutativitu konjunkce. Jsou dokázány příslušné věty o úplnosti. (cs)