Product Lukasiewicz Logic
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F04%3A03103412" target="_blank" >RIV/68407700:21230/04:03103412 - isvavai.cz</a>
Alternative codes found
RIV/67985807:_____/04:00105219
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Product Lukasiewicz Logic
Original language description
Among all many-valued logics the Lu logic plays a fundamental role. However expressive power of this logic is restricted to piecewise linear functions. In this paper we enrich the language of Lu logic by adding a new connective which expresses multiplication. The resulting logic PL is defined and developed. We also deal with several extensions of this logic. At the end of the paper, the predicate version of PL logic is introduced and developed.
Czech name
Není k dispozici
Czech description
Není k dispozici
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
JD - Use of computers, robotics and its application
OECD FORD branch
—
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
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
Name of the periodical
Archive for Mathematical Logic
ISSN
0933-5846
e-ISSN
—
Volume of the periodical
43
Issue of the periodical within the volume
4
Country of publishing house
DE - GERMANY
Number of pages
27
Pages from-to
477-503
UT code for WoS article
—
EID of the result in the Scopus database
—