Note on Inter-Expressibility of Logical Connectives in Finitely-Valued Godel-Dummett Logics

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11210%2F06%3A00000193" target="_blank" >RIV/00216208:11210/06:00000193 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Note on Inter-Expressibility of Logical Connectives in Finitely-Valued Godel-Dummett Logics

Original language description

In the m-valued Godel-Dummett logic for any m>=3, conjunction is not expressible in terms of the remaining connectives, even if the language is enhanced by constants for all truth values. The same is true for implication.

Czech name

Poznámka o vzájemné vyjádřitelnosti logických spojek v konečněhodnotových Godelových-Dummettových logikách

Czech description

Je-li m>=3, pak v m-hodnotové Godel-Dummettově logice nelze konjunkci vyjádřit pomocí ostatních logických spojek, a to ani když se výrokový jazyk obohatí o konstanty pro všechny pravdivostní hodnoty. Totéž je pravda i pro implikaci.

Type

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

CEP classification

BA - General mathematics

OECD FORD branch

—

Project

—

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2006

Confidentiality

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

Name of the periodical

Soft Computing

ISSN

1432-7643

e-ISSN

—

Volume of the periodical

10

Issue of the periodical within the volume

7

Country of publishing house

DE - GERMANY

Number of pages

2

Pages from-to

629-630

UT code for WoS article

—

EID of the result in the Scopus database

—