Informace o publikaci

The Logos of Semantic Structure

Autoři

MATERNA P. DUŽÍ M. JESPERSEN B.

Rok publikování 2010
Druh Kapitola v knize
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Popis Sémantická struktura není ani nadebytečná ani nedosažitelná. To je dokázáno na základě hyperintenzionální procedurální sémantiky Transparentní intenzionální logiky. Je ukázáno, jakým způsobem je příslušná sémantická struktura dekomponována pomocí označených stromů v souladu s rozvětvenou hierarchií typů.

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info