Obálkyknih.cz - Jihočeská vědecká knihovna v Českých Budějovicích

oprava existující anotace, přidání nové anotace

Název:		Über das Enthaltensein des klassischen Aussagenkalküls in den nicht-klassischen Aussagenkalkülen /
Autor:		Mleziva, Miroslav
Rok vydání:
Identifikátory:		cnb000491294 42088482

Upravte stávající anotaci nebo vložte anotaci novou.
Anotace:	Že všechny známějši neklasické výrokové kalkuly obsahují v jistém smyslu klasický kalkul jako vlastní část, dokazuje autor analogicky jako Łukasicwicz, předpokládaje shodnost pravidla substituce ve zkoumaných kalkulech. Důkaz obsažení je proveden pro kalkul intuicionistický, minimální, Churchův, Ackermannův. Lewisův a Łukasiewicz-Wajsbergův. Kromě toho zkoumá autor obsa žení systémů m-hodnotových v soustavách více než m-hodnotových a věnuje pozornost obsažení klasické dvouhodnotové logiky ve vícehodnotových funkčně úplných systémech. Předností práce je, že odvozuje formule probíraných neklasických kalkulů.
	Souhlasím s využitím anotace pro potřeby projektu obálkyknih.cz. Obsah neporušuje autorská práva.(povinné)