The Logos of Semantic Structure
Pavel Materna, Marie Duží, Bjørn Jespersen · 2010
Semantic structure is neither redundant nor unattainable. The proof is based on hyperintensional procedural semantics of Transparent intensional logic. It is shown how to decompose the respective semantic structure by means of annotated trees in keeping with a ramified type hierarchy.