Alternative Proof of Standard Completeness Theorem for MTL

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F07%3A00042039" target="_blank" >RIV/67985807:_____/07:00042039 - isvavai.cz</a>

Alternative codes found

RIV/68407700:21230/07:00123223

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Alternative Proof of Standard Completeness Theorem for MTL

Original language description

In this paper we present a different proof of the standard completeness theorem for the monoidal t-norm based logic. In fact, we prove even more since we show that MTL is complete w.r.t. the class of standard MTL-algebras with finite congruence lattice.

Czech name

Alternativní důkaz standardní úplnosti logiky MTL

Czech description

V tomto článku je prezentován alternativní důkaz věty o standardní úplnosti monoidální t-normové logiky (MTL). Navíc obdržíme silnější tvrzení, protože ukážeme, že MTL je úplná vzhledem k třídě standardních MTL-algeber s konečným kongruenčním svazem.

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

CEP classification

BA - General mathematics

OECD FORD branch

—

Project

<a href="/en/project/1ET100300517" target="_blank" >1ET100300517: Methods for Intelligent Systems and Their Applications in Datamining and Natural Language Processing</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2007

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

Soft Computing

ISSN

1432-7643

e-ISSN

—

Volume of the periodical

11

Issue of the periodical within the volume

2

Country of publishing house

DE - GERMANY

Number of pages

7

Pages from-to

123-129

UT code for WoS article

—

EID of the result in the Scopus database

—