Other formats:
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 and Ivo PEZLAR. \textit{Transparentní intenzionální logika jako characteristica universalis a calculus ratiocinator (Transparent intensional logic a characteristica universalis and calculus ratiocinator)}. 1. vyd. Brno: Masarykova univerzita, 2015, 322 pp. ISBN~978-80-210-7973-1.
|
