Number of results to display per page
Search Results
1282. Dediči Cyrila a Metoda alebo uniati? :
- Creator:
- Šoltés, Peter,
- Type:
- text and studie
- Subject:
- Historická věda. Pomocné vědy historické. Archivnictví, historiografie slovenská, církev řeckokatolická, paměť kulturní, přehledná zpracování slovenských dějin (chronologicky), církve, sekty, Slovensko od r. 1993, Československo 1918-1992, and dějepisectví, historické vědy, historici
- Language:
- Slovak
- Description:
- The heirs of SS. Cyril and Methodius or Uniates? The issue of continuity and discontinuity of the Greek Catholic Church as reflected in the Slovak historiography and cultural memory.
- Rights:
- unknown
1283. Dedičské právo k urbárskej usadlosti od 18. storočia do buržoáznej revolúcie na Slovensku /
- Creator:
- Rebro, Karol,
- Type:
- text and studie
- Subject:
- Soukromé právo, právo dědické, zákony, usedlosti poddanské, vlastnictví, pozůstalosti, vztahy vrchnost-poddaní, Slovensko 1711-1780, Slovensko 1780-1847, and ústavní a právní dějiny
- Language:
- Slovak
- Description:
- Die Vererbung der Urbarialsession vom 18. Jahrhundert bis zur bürgerlichen Revolution in der Slowakei.
- Rights:
- unknown
1284. Dedinskí kováči na Slovensku /
- Creator:
- Tajkov, Peter
- Type:
- text and studie
- Subject:
- Železářství. Zámečnictví. Topná zařízení, kováři, řemeslo, kovářství, obyvatelstvo venkovské, umění lidové, přehledná zpracování slovenských dějin (chronologicky), and hmotná kultura, umělecká řemesla
- Language:
- Slovak
- Description:
- Rural smiths in Slovakia.
- Rights:
- unknown
1285. Deduction in TIL: from simple to ramified hierarchy of types
- Creator:
- Duží, Marie
- Format:
- bez média and svazek
- Type:
- model:article and TEXT
- Subject:
- existential generalisation, extensional rules, hyperintensions, sequent calculus, substitution, existenciální zobecnění, extenzní pravidla, hyperintenze, sekvenční počet, and substituce
- Language:
- Slovak
- Description:
- Tichý’s Transparent Intensional Logic (TIL) is an overarching logical framework apt for the analysis of all sorts of discourse, whether colloquial, scientific, mathematical or logical. The theory is a procedural (as opposed to denotational) one, according to which the meaning of an expression is an abstract, extra-linguistic procedure detailing what operations to apply to what procedural constituents to arrive at the product (if any) of the procedure that is the object denoted by the expression. Such procedures are rigorously defined as TIL constructions. Though TIL analytical potential is very large, deduction in TIL has been rather neglected. Tichý defined a sequent calculus for pre-1988 TIL, that is TIL based on the simple theory of types. Since then no other attempt to define a proof calculus for TIL has been presented. The goal of this paper is to propose a generalization and adjustment of Tichý’s calculus to TIL 2010. First I briefly recapitulate the rules of simple-typed calculus as presented by Tichý. Then I propose the adjustments of the calculus so that it be applicable to hyperintensions within the ramified hierarchy of types. TIL operates with a single procedural semantics for all kinds of logical-semantic context, be it extensional, intensional or hyperintensional. I show that operating in a hyperintensional context is far from being technically trivial. Yet it is feasible. To this end we introduce a substitution method that operates on hyperintensions. It makes use of a four-place substitution function (called Sub) defined over hyperintensions., Tichý Transparentní Intenzionální Logika (TIL) je zastřešující logický rámec vhodný pro analýzu všech druhů diskurzů, ať už hovorových, vědeckých, matematických nebo logických. Tato teorie je procedurální (na rozdíl od denotační) jedna, podle které je význam výrazu abstraktním, extra-lingvistickým postupem, který podrobně popisuje, jaké operace mají být aplikovány na to, jaké procedurální složky se mají dostat k produktu (je-li nějaký) řízení. to je objekt označený výrazem. Tyto postupy jsou přísně definovány jako konstrukce TIL. Ačkoli analytický potenciál TIL je velmi velký, odpočet v TIL byl spíše zanedbán. Tichý definoval postupný počet pro před-1988 TIL, to je TIL na základě jednoduché teorie typů. Od té doby nebyl předložen žádný další pokus definovat důkazní kalkul pro TIL. Cílem příspěvku je navrhnout zobecnění a úpravu Tichého kalkulu na TIL 2010. Nejprve stručně rekapituluji pravidla jednoduchého typu kalkulu Tichého. Pak navrhnu úpravy kalkulu tak, aby byl použitelný pro hyperintenze v rámci rozvětvené hierarchie typů. TIL pracuje s jednou procedurální sémantikou pro všechny druhy logicko-sémantického kontextu, ať už jde o extenzivní, intenzionální nebo hyperintenzionální. Ukazuji, že provoz v hyperintenzionálním kontextu není zdaleka technicky triviální. Přesto je to proveditelné. Za tímto účelem zavádíme substituční metodu, která funguje na hyperintenzích. Využívá čtyřmístnou substituční funkci (tzv. Sub) definovanou nad hyperintenziemi. Nejprve stručně rekapituluji pravidla jednoduchého typu kalkulu Tichého. Pak navrhnu úpravy kalkulu tak, aby byl použitelný pro hyperintenze v rámci rozvětvené hierarchie typů. TIL pracuje s jednou procedurální sémantikou pro všechny druhy logicko-sémantického kontextu, ať už jde o extenzivní, intenzionální nebo hyperintenzionální. Ukazuji, že provoz v hyperintenzionálním kontextu není zdaleka technicky triviální. Přesto je to proveditelné. Za tímto účelem zavádíme substituční metodu, která funguje na hyperintenzích. Využívá čtyřmístnou substituční funkci (tzv. Sub) definovanou nad hyperintenziemi. Nejprve stručně rekapituluji pravidla jednoduchého typu kalkulu Tichého. Pak navrhnu úpravy kalkulu tak, aby byl použitelný pro hyperintenze v rámci rozvětvené hierarchie typů. TIL pracuje s jednou procedurální sémantikou pro všechny druhy logicko-sémantického kontextu, ať už jde o extenzivní, intenzionální nebo hyperintenzionální. Ukazuji, že provoz v hyperintenzionálním kontextu není zdaleka technicky triviální. Přesto je to proveditelné. Za tímto účelem zavádíme substituční metodu, která funguje na hyperintenzích. Využívá čtyřmístnou substituční funkci (tzv. Sub) definovanou nad hyperintenziemi. TIL pracuje s jednou procedurální sémantikou pro všechny druhy logicko-sémantického kontextu, ať už jde o extenzivní, intenzionální nebo hyperintenzionální. Ukazuji, že provoz v hyperintenzionálním kontextu není zdaleka technicky triviální. Přesto je to proveditelné. Za tímto účelem zavádíme substituční metodu, která funguje na hyperintenzích. Využívá čtyřmístnou substituční funkci (tzv. Sub) definovanou nad hyperintenziemi. TIL pracuje s jednou procedurální sémantikou pro všechny druhy logicko-sémantického kontextu, ať už jde o extenzivní, intenzionální nebo hyperintenzionální. Ukazuji, že provoz v hyperintenzionálním kontextu není zdaleka technicky triviální. Přesto je to proveditelné. Za tímto účelem zavádíme substituční metodu, která funguje na hyperintenzích. Využívá čtyřmístnou substituční funkci (tzv. Sub) definovanou nad hyperintenziemi., and Marie Duží
- Rights:
- http://creativecommons.org/publicdomain/mark/1.0/ and policy:public
1286. Deep Universal Dependencies 2.4
- Creator:
- Zeman, Daniel and Droganova, Kira
- Publisher:
- Charles University, Faculty of Mathematics and Physics, Institute of Formal and Applied Linguistics (UFAL)
- Type:
- text and corpus
- Subject:
- semantic dependency and universal dependencies
- Language:
- Afrikaans, Assyrian Neo-Aramaic, Akkadian, Amharic, Arabic, Belarusian, Breton, Bulgarian, Russia Buriat, Catalan, Czech, Church Slavic, Mandarin Chinese, Coptic, Welsh, Danish, German, Modern Greek (1453-), English, Estonian, Basque, Faroese, Finnish, French, Irish, Gothic, Ancient Greek (to 1453), Mbyá Guaraní, Hebrew, Hindi, Croatian, Upper Sorbian, Hungarian, Armenian, Indonesian, Italian, Japanese, Kazakh, Northern Kurdish, Korean, Komi-Zyrian, Karelian, Latin, Latvian, Lithuanian, Literary Chinese, Marathi, Erzya, Dutch, Norwegian, Old Russian, Nigerian Pidgin, Polish, Portuguese, Romanian, Russian, Sanskrit, Slovak, Slovenian, Northern Sami, Spanish, Serbian, Swedish, Tamil, Tagalog, Turkish, Ukrainian, Urdu, Vietnamese, Warlpiri, Wolof, Yoruba, and Galician
- Description:
- Deep Universal Dependencies is a collection of treebanks derived semi-automatically from Universal Dependencies (http://hdl.handle.net/11234/1-2988). It contains additional deep-syntactic and semantic annotations. Version of Deep UD corresponds to the version of UD it is based on. Note however that some UD treebanks have been omitted from Deep UD.
- Rights:
- Licence Universal Dependencies v2.4, https://lindat.mff.cuni.cz/repository/xmlui/page/licence-UD-2.4, and PUB
1287. Deep Universal Dependencies 2.5
- Creator:
- Zeman, Daniel and Droganova, Kira
- Publisher:
- Charles University, Faculty of Mathematics and Physics, Institute of Formal and Applied Linguistics (UFAL)
- Type:
- text and corpus
- Subject:
- semantic dependency and universal dependencies
- Language:
- Afrikaans, Assyrian Neo-Aramaic, Akkadian, Amharic, Arabic, Belarusian, Breton, Bulgarian, Russia Buriat, Catalan, Czech, Church Slavic, Mandarin Chinese, Coptic, Welsh, Danish, German, Modern Greek (1453-), English, Estonian, Basque, Faroese, Finnish, French, Irish, Gothic, Ancient Greek (to 1453), Mbyá Guaraní, Hebrew, Hindi, Croatian, Upper Sorbian, Hungarian, Armenian, Indonesian, Italian, Japanese, Kazakh, Northern Kurdish, Korean, Komi-Zyrian, Karelian, Latin, Latvian, Lithuanian, Literary Chinese, Marathi, Erzya, Dutch, Norwegian, Old Russian, Nigerian Pidgin, Polish, Portuguese, Romanian, Russian, Sanskrit, Slovak, Slovenian, Northern Sami, Spanish, Serbian, Swedish, Tamil, Tagalog, Turkish, Ukrainian, Urdu, Vietnamese, Warlpiri, Wolof, Yoruba, Galician, Bhojpuri, Komi-Permyak, Livvi, Moksha, Scottish Gaelic, and Skolt Sami
- Description:
- Deep Universal Dependencies is a collection of treebanks derived semi-automatically from Universal Dependencies (http://hdl.handle.net/11234/1-3105). It contains additional deep-syntactic and semantic annotations. Version of Deep UD corresponds to the version of UD it is based on. Note however that some UD treebanks have been omitted from Deep UD.
- Rights:
- Licence Universal Dependencies v2.5, https://lindat.mff.cuni.cz/repository/xmlui/page/licence-UD-2.5, and PUB
1288. Deep Universal Dependencies 2.6
- Creator:
- Zeman, Daniel and Droganova, Kira
- Publisher:
- Charles University, Faculty of Mathematics and Physics, Institute of Formal and Applied Linguistics (UFAL)
- Type:
- text and corpus
- Subject:
- semantic dependency and universal dependencies
- Language:
- Afrikaans, Assyrian Neo-Aramaic, Akkadian, Amharic, Arabic, Belarusian, Breton, Bulgarian, Russia Buriat, Catalan, Czech, Church Slavic, Mandarin Chinese, Coptic, Welsh, Danish, German, Modern Greek (1453-), English, Estonian, Basque, Faroese, Finnish, French, Irish, Gothic, Ancient Greek (to 1453), Mbyá Guaraní, Hebrew, Hindi, Croatian, Upper Sorbian, Hungarian, Armenian, Indonesian, Italian, Japanese, Kazakh, Northern Kurdish, Korean, Komi-Zyrian, Karelian, Latin, Latvian, Lithuanian, Literary Chinese, Marathi, Erzya, Dutch, Norwegian, Old Russian, Nigerian Pidgin, Polish, Portuguese, Romanian, Russian, Sanskrit, Slovak, Slovenian, Northern Sami, Spanish, Serbian, Swedish, Tamil, Tagalog, Turkish, Ukrainian, Urdu, Vietnamese, Warlpiri, Wolof, Yoruba, Galician, Bhojpuri, Komi-Permyak, Livvi, Moksha, Scottish Gaelic, Skolt Sami, Icelandic, Albanian, and Persian
- Description:
- Deep Universal Dependencies is a collection of treebanks derived semi-automatically from Universal Dependencies (http://hdl.handle.net/11234/1-3226). It contains additional deep-syntactic and semantic annotations. Version of Deep UD corresponds to the version of UD it is based on. Note however that some UD treebanks have been omitted from Deep UD.
- Rights:
- Licence Universal Dependencies v2.6, https://lindat.mff.cuni.cz/repository/xmlui/page/license-ud-2.6, and PUB
1289. Deep Universal Dependencies 2.7
- Creator:
- Zeman, Daniel and Droganova, Kira
- Publisher:
- Charles University, Faculty of Mathematics and Physics, Institute of Formal and Applied Linguistics (UFAL)
- Type:
- text and corpus
- Subject:
- semantic dependency and universal dependencies
- Language:
- Afrikaans, Assyrian Neo-Aramaic, Akkadian, Amharic, Arabic, Belarusian, Breton, Bulgarian, Russia Buriat, Catalan, Czech, Church Slavic, Mandarin Chinese, Coptic, Welsh, Danish, German, Modern Greek (1453-), English, Estonian, Basque, Faroese, Finnish, French, Irish, Gothic, Ancient Greek (to 1453), Mbyá Guaraní, Hebrew, Hindi, Croatian, Upper Sorbian, Hungarian, Armenian, Indonesian, Italian, Japanese, Kazakh, Northern Kurdish, Korean, Komi-Zyrian, Karelian, Latin, Latvian, Lithuanian, Literary Chinese, Marathi, Erzya, Dutch, Norwegian, Old Russian, Nigerian Pidgin, Polish, Portuguese, Romanian, Russian, Sanskrit, Slovak, Slovenian, Northern Sami, Spanish, Serbian, Swedish, Tamil, Tagalog, Turkish, Ukrainian, Urdu, Vietnamese, Warlpiri, Wolof, Yoruba, Galician, Bhojpuri, Komi-Permyak, Livvi, Moksha, Scottish Gaelic, Skolt Sami, Icelandic, Albanian, Persian, Akuntsu, Apurinã, Khunsari, Manx, Mundurukú, Nayini, Soi, South Levantine Arabic, and Tupinambá
- Description:
- Deep Universal Dependencies is a collection of treebanks derived semi-automatically from Universal Dependencies (http://hdl.handle.net/11234/1-3424). It contains additional deep-syntactic and semantic annotations. Version of Deep UD corresponds to the version of UD it is based on. Note however that some UD treebanks have been omitted from Deep UD.
- Rights:
- Licence Universal Dependencies v2.7, https://lindat.mff.cuni.cz/repository/xmlui/page/license-ud-2.7, and PUB
1290. Deep Universal Dependencies 2.8
- Creator:
- Zeman, Daniel and Droganova, Kira
- Publisher:
- Charles University, Faculty of Mathematics and Physics, Institute of Formal and Applied Linguistics (UFAL)
- Type:
- text and corpus
- Subject:
- semantic dependency and universal dependencies
- Language:
- Afrikaans, Assyrian Neo-Aramaic, Akkadian, Amharic, Arabic, Belarusian, Breton, Bulgarian, Russia Buriat, Catalan, Czech, Church Slavic, Mandarin Chinese, Coptic, Welsh, Danish, German, Modern Greek (1453-), English, Estonian, Basque, Faroese, Finnish, French, Irish, Gothic, Ancient Greek (to 1453), Mbyá Guaraní, Hebrew, Hindi, Croatian, Upper Sorbian, Hungarian, Armenian, Indonesian, Italian, Japanese, Kazakh, Northern Kurdish, Korean, Komi-Zyrian, Karelian, Latin, Latvian, Lithuanian, Literary Chinese, Marathi, Erzya, Dutch, Norwegian, Old Russian, Nigerian Pidgin, Polish, Portuguese, Romanian, Russian, Sanskrit, Slovak, Slovenian, Northern Sami, Spanish, Serbian, Swedish, Tamil, Tagalog, Turkish, Ukrainian, Urdu, Vietnamese, Warlpiri, Wolof, Yoruba, Galician, Bhojpuri, Komi-Permyak, Livvi, Moksha, Scottish Gaelic, Skolt Sami, Icelandic, Albanian, Persian, Akuntsu, Apurinã, Khunsari, Manx, Mundurukú, Nayini, Soi, South Levantine Arabic, Tupinambá, Beja, Western Frisian, Urubú-Kaapor, Kangri, K'iche', Low German, Makuráp, Western Armenian, and Central Siberian Yupik
- Description:
- Deep Universal Dependencies is a collection of treebanks derived semi-automatically from Universal Dependencies (http://hdl.handle.net/11234/1-3687). It contains additional deep-syntactic and semantic annotations. Version of Deep UD corresponds to the version of UD it is based on. Note however that some UD treebanks have been omitted from Deep UD.
- Rights:
- Licence Universal Dependencies v2.8, https://lindat.mff.cuni.cz/repository/xmlui/page/license-ud-2.8, and PUB