FUZZY PREDICATE LOGIC AND RESOLUTION THEOREM PROVING
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F06%3A00000024" target="_blank" >RIV/61988987:17610/06:00000024 - isvavai.cz</a>
Alternative codes found
RIV/61988987:17310/06:00000036 RIV/61988987:17610/06:A1000GZM
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
FUZZY PREDICATE LOGIC AND RESOLUTION THEOREM PROVING
Original language description
article presents refutational resolution theorem proving system for the Fuzzy Predicate Logic of First-Order (FPL) based on the general (non-clausal) resolution rule.
Czech name
Fuzzy predikátová logika a rezoluční dokazování
Czech description
article presents refutational resolution theorem proving system for the Fuzzy Predicate Logic of First-Order (FPL) based on the general (non-clausal) resolution rule.
Classification
Type
D - Article in proceedings
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2006
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
ACTA Mathematica 9
ISBN
80-8094-036-3
ISSN
—
e-ISSN
—
Number of pages
7
Pages from-to
79-85
Publisher name
Faculty of Natural Sciences, Constantine the Philosopher University
Place of publication
Nitra
Event location
Nitra
Event date
Jan 1, 2006
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—