Investigations into transparent intensional logic:a Rule-based approach /
Mým prvotním cílem bylo vytvoření deduktivního systému (tj. formulování odvozovacích pravidel) pro Transparentní intenzionální logiku (krátce TIL) tak, jak ji Pavel Tichý prezentoval ve své klíčové práci The Foundatations of Frege’s Logic (krátce FFL) z roku 1988. Při této snaze jsem ovšem narazil n...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Typ dokumentu: | VŠ práce nebo rukopis |
| Jazyk: | Angličtina |
| Vydáno: |
2016
|
| Témata: | |
| On-line přístup: | http://is.muni.cz/th/261588/ff_d/ |
Knihovny MUNI nemají přístupné knihovní jednotky.