Další formáty:
BibTeX
LaTeX
RIS
@inbook{887355, author = {Raclavský, Jiří}, address = {Plzeň}, booktitle = {Odkud a jak brát stále nové příklady? Elektronická databáze příkladů pro výuku logiky na VŠ}, keywords = {generalized quantifiers; transparent intensional logic}, howpublished = {tištěná verze "print"}, language = {cze}, location = {Plzeň}, isbn = {978-80-7043-864-0}, pages = {103-116}, publisher = {Vydavatelství Západočeské univerzity v Plzni}, title = {Zobecněné kvantifikátory z pohledu Transparentní intenzionální logiky}, year = {2009} }
TY - CHAP ID - 887355 AU - Raclavský, Jiří PY - 2009 TI - Zobecněné kvantifikátory z pohledu Transparentní intenzionální logiky VL - mimo edice PB - Vydavatelství Západočeské univerzity v Plzni CY - Plzeň SN - 9788070438640 KW - generalized quantifiers KW - transparent intensional logic N2 - Předmětem statě jsou definice principiálních druhů zobecněných kvantifikátorů v rámci Transparentní intenzionální logiky. To obnáší zapracování parciality, která způsobuje, že běžné způsoby definování jsou obvykle neplatné. K běžným způsobům jsou přikládány alternativní způsoby definování, které usouvztažňují zobecněné kvantifikátory ke klasickým kvantifikátorům. ER -
RACLAVSKÝ, Jiří. Zobecněné kvantifikátory z pohledu Transparentní intenzionální logiky. In \textit{Odkud a jak brát stále nové příklady? Elektronická databáze příkladů pro výuku logiky na VŠ}. Plzeň: Vydavatelství Západočeské univerzity v Plzni, 2009, s.~103-116. mimo edice. ISBN~978-80-7043-864-0.
|