Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 3150311 obálek a 950589 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Über das Enthaltensein des klassischen Aussagenkalküls in den nicht-klassischen Aussagenkalkülen /
Autor: Mleziva, Miroslav
NKP-CNB: cnb000491294
OCLC Number: 42088482
OKCZID: 128762529
Půjčte si tento titul v knihovně přes portál Knihovny.cz
Citace (dle ČSN ISO 690):
MLEZIVA, Miroslav. Über das Enthaltensein des klassischen Aussagenkalküls in den nicht-klassischen Aussagenkalkülen. Překlad Ladislav MENZEL. Praha: Academia, 1966. 71 s. Rozpravy ČSAV. Řada společenských věd, roč. 76/1966, seš. 13..
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ů.
Zdroj anotace: Národní knihovna v Praze