Non-clausal Resolution in Fuzzy Predicate Logic with Evaluated Syntax (background and implementation)
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F05%3A00000012" target="_blank" >RIV/61988987:17610/05:00000012 - isvavai.cz</a>
Alternative codes found
RIV/61988987:17310/05:00000016
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Non-clausal Resolution in Fuzzy Predicate Logic with Evaluated Syntax (background and implementation)
Original language description
The presentation deals with the refutational resolution theorem proving system for the Fuzzy Predicate Logic of First-Order (FPL) based on the general (non-clausal) resolution rule.
Czech name
Non-clausal Resolution in Fuzzy Predicate Logic with Evaluated Syntax (background and implementation)
Czech description
The presentation deals with the refutational resolution theorem proving system for the Fuzzy Predicate Logic of First-Order (FPL) based on the general (non-clausal) resolution rule.
Classification
Type
A - Audiovisual production
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2005
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
ISBN
—
Place of publication
Ostrava
Publisher/client name
Ostravská Univerzita
Version
Přednáška
Carrier ID
—