logical scheme

**Logical schemes** are geometric entities which relate to first-order logical theories in much the same way that algebraic schemes relate to commutative rings. In this framework conceptual completeness can be established.

- Spencer Breiner,
*Scheme representation for first-order logic*, (arXiv:1402.2600)

Last revised on January 28, 2018 at 14:31:41. See the history of this page for a list of all contributions to it.