Theory of Types and Data Description

Theory of Types and Data Description

The intensional character of natural languages is contrasted with the extensional character of artificial langs. A modification of A. Church's simple theory of types ("A Formulation of the Simple Theory of Types," Journal of Symbolic Logic, 1940, 5, 1, 56-68) is shown to be able to se...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Kybernetika 1978-01, Vol.14 (5), p.313-327
1. Verfasser: Materna, Pavel
Format: Artikel
Sprache:eng
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:The intensional character of natural languages is contrasted with the extensional character of artificial langs. A modification of A. Church's simple theory of types ("A Formulation of the Simple Theory of Types," Journal of Symbolic Logic, 1940, 5, 1, 56-68) is shown to be able to serve as a tool for analysis of both the natural languages & those artificial languages that are used when data (eg, in databases) are to be fixed & retrieved. 11 References. HA
ISSN:0023-5954