|
|
![[parent]](http://images.planetmath.org:8080/images/uparrow.png) Viewing Message
|
|
|
| ``Model theoretic logic view''
by Aatu on 2003-06-26 07:01:13 |
|
| | In model theoretic logic one very often speaks of a logic as a tuple <L,M,|=,D> where L is a language, M is a class of models, |= \subseteq MxL is the truth-in-model relation and D is a deductive system. Also the notion of a full logic and the related concepts from model theoretic logics could be introduced here. |
| | [ reply | up ] |
|
|
|
|
|
|
