# logic

## Primary tabs

Defines:
syntax, semantics, type, sort
Type of Math Object:
Definition
Major Section:
Reference

## Mathematics Subject Classification

03B15 no label found03B10 no label found

## Comments

### Model theoretic logic view

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.