Hledat
Zobrazují se záznamy 1-1 z 1
Některé sémantické metody v intuicionistické logice
Some semantic methods in intuitionistic logic
Rigorózní práce (UZNÁNO)
Vedoucí práce: Švejdar, Vítězslav
Datum publikování: 2009
Datum obhajoby: 26. 02. 2009
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: V práci se podíváme do světa intuicionistické logiky. Zjistíme že v intuicionistické logice nelze definovat logické spojky pomocí jiných logických spojek. Podíváme se, jak je to v intuicionistické logice s jednoatomovými ...