On Fuzzy Predicate Calculi with Non-Commutative Conjunction
Result description
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.
Keywords
The result's identifiers
Result code in IS VaVaI
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
On Fuzzy Predicate Calculi with Non-Commutative Conjunction
Original language description
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.
Czech name
O fuzzy predikátových počtech s nekomutativní konjunkcí
Czech description
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.
Classification
Type
D - Article in proceedings
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
IAA1030004: Mathematical foundations of inference under vagueness and uncertainty
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2004
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
East West Fuzzy Colloquium 2004
ISBN
3-9808089-5-5
ISSN
—
e-ISSN
—
Number of pages
8
Pages from-to
103-110
Publisher name
IPM
Place of publication
Zittau/Görlitz
Event location
Zittau
Event date
Sep 8, 2004
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—
Basic information
Result type
D - Article in proceedings
CEP
BA - General mathematics
Year of implementation
2004