Logical system

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Main article: mathematical logic

#REDIRECTformal_system#logical system
This page is a soft redirect.

In mathematical logic, a logical system is a formal system together with an interpretation function giving meaning (semantics) to the formulas.

Examples of logical systems includes