Circular Languages
| Autor: | Hannes Leitgeb, Alexander Hieke |
|---|---|
| Rok vydání: | 2004 |
| Předmět: |
Linguistics and Language
Syntax (programming languages) Semantics (computer science) Programming language Computer science Axiomatic system Computer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing) Variety (linguistics) computer.software_genre Philosophy Consistency (database systems) Computer Science (miscellaneous) Identity (object-oriented programming) Computer Science::Programming Languages computer Axiom |
| Zdroj: | Journal of Logic, Language and Information. 13:341-371 |
| ISSN: | 0925-8531 |
| DOI: | 10.1023/b:jlli.0000028335.19112.1d |
| Popis: | In this paper we investigate two purely syntactical notions of circularity, which we call ``self-application'' and ``self-inclusion.'' A language containing self-application allows linguistic items to be applied to themselves. In a language allowing for self-inclusion there are expressions which include themselves as a proper part. We introduce axiomatic systems of syntax which include identity criteria and existence axioms for such expressions. The consistency of these axiom systems will be shown by providing a variety of different models – these models being our circular languages. Finally we will show what a possible semantics for these circular languages could look like. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full text from SpringerLink