Category:Model Theory for Predicate Logic

From ProofWiki
Jump to navigation Jump to search

This category contains results about Model Theory for Predicate Logic.
Definitions specific to this category can be found in Definitions/Model Theory for Predicate Logic.

Model theory for predicate logic is the sub-branch of model theory that focuses on predicate logic.

In particular, the formal semantics of structures for predicate logic is studied.


This category has the following 2 subcategories, out of 2 total.

Pages in category "Model Theory for Predicate Logic"

The following 47 pages are in this category, out of 47 total.