TOBIAS-lib - A Mathematical formalism for linguistic theories with an application in head-driven phrase structure grammar

http://wayback.archive.org/web/20070930040158/http://w210.ub.uni-tuebingen.de/dbt/volltexte/2004/1203/index.html

This dissertation belongs in the field of mathematical linguistics. It presents a logical formalism called Relational Speciate Re-entrant Language (RSRL), which is suitable for specifying with mathematical precision grammars which are written in the…