Fork me on GitHub
Math for the people, by the people.

User login

logic

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

Mathematics Subject Classification

03B15 no label found03B10 no label found

Comments

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.

Subscribe to Comments for "logic"