0103382 - UIVT-O 20040123 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Hájek, Petr - Ševčík, J.
On Fuzzy Predicate Calculi with Non-Commutative Conjunction.
[O fuzzy predikátových počtech s nekomutativní konjunkcí.]
East West Fuzzy Colloquium 2004. Zittau/Görlitz: IPM, 2004, s. 103-110. ISBN 3-9808089-5-5.
[Zittau Fuzzy Colloquium /11./. Zittau (DE), 08.09.2004-10.09.2004]
Grant CEP: GA AV ČR(CZ) IAA1030004
Výzkumný záměr: CEZ:AV0Z1030915
Klíčová slova: fuzzy predicate logic * non-commutative conjunction
Kód oboru RIV: BA - Obecná matematika

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.

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.
Trvalý link: http://hdl.handle.net/11104/0010691