Number of the records: 1
On Fuzzy Predicate Calculi with Non-Commutative Conjunction
- 1.0103382 - UIVT-O 20040123 RIV DE eng C - Conference Paper (international conference)
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]
R&D Projects: GA AV ČR(CZ) IAA1030004
Institutional research plan: CEZ:AV0Z1030915
Keywords : fuzzy predicate logic * non-commutative conjunction
Subject RIV: BA - General Mathematics
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.
Permanent Link: http://hdl.handle.net/11104/0010691
Number of the records: 1