Mathematical Fuzzy Logic and Natural Numbers

Result code in IS VaVaI

RIV/67985807:_____/07:00310053 - isvavai.cz

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Mathematical Fuzzy Logic and Natural Numbers

Original language description

A weak variant of Robinson's arithmetic Q where the binary operations of addition and multiplication are replaced by ternary relations ( not necessarily defining total crisp functions) is formulated and investigated over the mathematical fuzzy logic BL for all. Essential undecidability of this fuzzy arithmetic is proved by a careful analysis of the classical proof of essential undecidability of arithmetic.

Czech name

Matematická fuzzy logika a přirozená čísla

Czech description

Je formulována slabá varianta Robinsonovy aritmetiky Q s ne nutně totálními operacemi; tato teorie se vyšetruje v rámci základní matematické predikátové logiky BL. Je podán důkaz podstatné nerozhodnutelnosti této fuzzy aritmetiky.

Type

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

CEP classification

BA - General mathematics

OECD FORD branch

—

Project

IAA100300503: Mathematical foundation of inference and decision under uncertainty

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
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

Fundamenta Informaticae

ISSN

0169-2968

e-ISSN

—

Volume of the periodical

81

Issue of the periodical within the volume

1-3

Country of publishing house

NL - THE KINGDOM OF THE NETHERLANDS

Number of pages

9

Pages from-to

—

UT code for WoS article

000252979700008

EID of the result in the Scopus database

—