The paper scrutinizes the concept of constructions as used by Pavel Tichý and Pavel Materna within the transparent intensional logic (TIL). It discusses the possibility of articulating an axiomatic theory of constructions akin to the axiomatic set theories.
The paper scrutinizes the concept of constructions as used by Pavel Tichý and Pavel Materna within the transparent intensional logic (TIL). It discusses the possibility of articulating an axiomatic theory of constructions akin to the axiomatic set theories. (en)