Összesen 1 találat.
#/oldal:
Részletezés:
Rendezés:

1.

001-es BibID:BIBFORM027763
Első szerző:Mihálydeák Tamás Sándor (filozófus, matematikus)
Cím:On Models of General Type-Theoretical Languages / Mihálydeák Tamás
Dátum:2010
Megjegyzések:In the present paper we consider general type theoreticallanguages as the representations of the functor-argument decomposition and compositional semantics relying on it and find some theorems making explicit the theoretical presuppositions of general type theoretical languages and their total or partial semantics. After defining the notionof semantic categories in the spirit of Husserl we characterize Tarskian and Husserlian models both in total and partial semantics and prove their characteristic theorems.
Tárgyszavak:Bölcsészettudományok Filozófiai tudományok idegen nyelvű folyóiratközlemény hazai lapban
Traskian models
Husserlian models
Megjelenés:Hungarian Philosophical Review = Magyar Filozófiai Szemle. - 54 : 4 (2010), p. 27-39. -
Internet cím:Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Rekordok letöltése1