ZWIĄZKI MIĘDZY JĘZYKAMI

Język J jest fragmentem języka J’ wtedy, gdy

1. zbiór reguł słownikowych języka J jest podzbiorem właściwym zbioru reguł słownikowych języka J’, zaś

2. zbiory reguł gramatycznych, dedukcyjnych i semantycznych języka J są podzbiorami zbiorów reguł- odpowiednio- gramatycznych, dedukcyjnych i semantycznych języka J’.

Język J jest jednorodny gramatycznie z językiem J’ wtedy, gdy

1. zbiór reguł formowania języka J jest identyczny ze zbiorem reguł formowania języka J’, zaś

2. zbiór reguł dedukcyjnych języka J różni się od zbioru reguł dedukcyjnych języka J’.

Język J jest metajęzykiem języka J’ wtedy, gdy

1. dla każdego wyrażenia języka J’ występuje w języku J termin jednostkowy oznaczający to wyrażenie oraz

2. dla każdego wyrażenia języka J’ występuje w języku J wyrażenie stanowiące jego przekład.