Back to Search
Start Over
Default theories over monadic languages
- Source :
-
Theoretical Computer Science . Nov2006, Vol. 364 Issue 2, p241-253. 13p. - Publication Year :
- 2006
-
Abstract
- Abstract: In this paper we compare the semantical and syntactical definitions of extensions for open default theories. We prove that, over monadic languages, these definitions are equivalent and do not depend on the cardinality of the underlying infinite world. We also show that, under the domain closure assumption, one free variable open default theories are decidable. [Copyright &y& Elsevier]
- Subjects :
- *LOGIC
*SEMANTICS
*LANGUAGE & languages
*COMPARATIVE linguistics
Subjects
Details
- Language :
- English
- ISSN :
- 03043975
- Volume :
- 364
- Issue :
- 2
- Database :
- Academic Search Index
- Journal :
- Theoretical Computer Science
- Publication Type :
- Academic Journal
- Accession number :
- 22718907
- Full Text :
- https://doi.org/10.1016/j.tcs.2006.08.007