Další formáty:
BibTeX
LaTeX
RIS
@book{1311218, author = {Raclavský, Jiří and Kuchyňka, Petr and Pezlar, Ivo}, address = {Brno}, edition = {1. vyd.}, keywords = {type theory; ramified type theory; hyperintensional logic; transparent intensional logic}, howpublished = {tištěná verze "print"}, language = {cze}, location = {Brno}, isbn = {978-80-210-7973-1}, publisher = {Masarykova univerzita}, title = {Transparentní intenzionální logika jako characteristica universalis a calculus ratiocinator}, year = {2015} }
TY - BOOK ID - 1311218 AU - Raclavský, Jiří - Kuchyňka, Petr - Pezlar, Ivo PY - 2015 TI - Transparentní intenzionální logika jako characteristica universalis a calculus ratiocinator VL - Neuveden PB - Masarykova univerzita CY - Brno SN - 9788021079731 KW - type theory KW - ramified type theory KW - hyperintensional logic KW - transparent intensional logic N2 - Kniha Transparentní intenzionální logika jako characteristica universalis a calculus ratiocinator podává základy Transparentní intenzionální logiky (TIL), kterou vyvinul v novozélandské emigraci logik a filozof Pavel Tichý. Kniha se soustřeďuje na pojednání TIL jako logiky sui generis. To vedlo v mnoha směrech k překročení dosavadních hranic TIL a je tak podána řada zcela nových poznatků. TIL není představována, tak jako doposud, jen jako určitá characteristica universalis. TIL je totiž neméně pozoruhodný calculus ratiocinator. ER -
RACLAVSKÝ, Jiří, Petr KUCHYŇKA a Ivo PEZLAR. \textit{Transparentní intenzionální logika jako characteristica universalis a calculus ratiocinator}. 1. vyd. Brno: Masarykova univerzita, 2015, 322 s. ISBN~978-80-210-7973-1.
|