On Copulas, Quasicopulas and Fuzzy Logic
Result description
We investigate (quasi)copulas as possible truth functions of fuzzy conjunction which is not necessarily associative and present some axiom systems for such fuzzy logics. In particular, we study an expansion of Łukasiewicz (infinite valued propositional)logic by a new connective interpreted as an arbitrary quasicopula (and also by a new connective interpreted as the residuum of the copula). Main results concern standard completeness.
Keywords
The result's identifiers
Result code in IS VaVaI
Alternative codes found
RIV/61988987:17610/08:A0900QTG
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
On Copulas, Quasicopulas and Fuzzy Logic
Original language description
We investigate (quasi)copulas as possible truth functions of fuzzy conjunction which is not necessarily associative and present some axiom systems for such fuzzy logics. In particular, we study an expansion of Łukasiewicz (infinite valued propositional)logic by a new connective interpreted as an arbitrary quasicopula (and also by a new connective interpreted as the residuum of the copula). Main results concern standard completeness.
Czech name
O kopulích, kvazikopulích a fuzzy logice
Czech description
Vyšetřujeme (kvasi)kopule jako možné pravdivostní funkce fuzzy konjunkce, která není nutně asociativní, a předkládáme axiomatické systémy pro takové logiky. Zejména studujeme rozšíření nekonečné hodnotové výrokové Lukasiewiczovy logiky o novou spojku interpretovanou jako kvasikopule (a novou spojku pro její residuum). Hlavní výsledky se týkají standardní úplnosti.
Classification
Type
Jx - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
1ET100300419: Intelligent Models, Algorithms, Methods and Tools for the Semantic Web (realization)
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2008
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
Name of the periodical
Soft Computing
ISSN
1432-7643
e-ISSN
—
Volume of the periodical
12
Issue of the periodical within the volume
12
Country of publishing house
DE - GERMANY
Number of pages
5
Pages from-to
—
UT code for WoS article
000258059700010
EID of the result in the Scopus database
—
Basic information
Result type
Jx - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP
BA - General mathematics
Year of implementation
2008