The LPi and LPi/2 Propositional and Predicate Logics.

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F01%3A06020018" target="_blank" >RIV/67985807:_____/01:06020018 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

The LPi and LPi/2 Propositional and Predicate Logics.

Popis výsledku v původním jazyce

In fuzzy logic three main logics are investigated (Godel,product and Lukasiewicz logic). There are logics LPi and LPi1/2 uniting these three logics. We show an alternative axiomatic system of these logics. In the rest of the paper is to examine properties of the predicate version of these logics. We introduce an axiomatic system and prove the corresponding completeness theorem. At the end we examine Pavelka's style extension of these logics.

Název v anglickém jazyce

The LPi and LPi/2 Propositional and Predicate Logics.

Popis výsledku anglicky

In fuzzy logic three main logics are investigated (Godel,product and Lukasiewicz logic). There are logics LPi and LPi1/2 uniting these three logics. We show an alternative axiomatic system of these logics. In the rest of the paper is to examine properties of the predicate version of these logics. We introduce an axiomatic system and prove the corresponding completeness theorem. At the end we examine Pavelka's style extension of these logics.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2001

Kód důvěrnosti údajů

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

Název periodika

Fuzzy Sets and Systems

ISSN

0165-0114

e-ISSN

—

Svazek periodika

124

Číslo periodika v rámci svazku

N/A

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

14

Strana od-do

289-302

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—