Leibniz operator (Q6519090)
Jump to navigation
Jump to search
operator that assigns to a given theory of a given sentential logic (i.e. a free algebra with a consequence operation on its universe) the largest congruence on the algebra that is compatible with the theory
Language | Label | Description | Also known as |
---|---|---|---|
English | Leibniz operator |
operator that assigns to a given theory of a given sentential logic (i.e. a free algebra with a consequence operation on its universe) the largest congruence on the algebra that is compatible with the theory |
Statements
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki Leibniz operator