Difference between revisions of "Post algebra"
From Encyclopedia of Mathematics
(Importing text file) |
(TeX done) |
||
| Line 1: | Line 1: | ||
| − | An algebra | + | An algebra $(P,\Omega)$, where $P$ is a set of functions and $\Omega$ is a set of operations equivalent to composition operations with different types of restrictions. Finite-valued and countable-valued logics, logics of non-homogeneous functions, etc., are examples of Post algebras. In fact, the problems encountered in the theory of Post algebras essentially coincide with the problems in the theory of many-valued logic. |
| − | For references see [[ | + | For references see [[Many-valued logic]]. |
| + | |||
| + | {{TEX|done}} | ||
Latest revision as of 23:24, 14 November 2017
An algebra $(P,\Omega)$, where $P$ is a set of functions and $\Omega$ is a set of operations equivalent to composition operations with different types of restrictions. Finite-valued and countable-valued logics, logics of non-homogeneous functions, etc., are examples of Post algebras. In fact, the problems encountered in the theory of Post algebras essentially coincide with the problems in the theory of many-valued logic.
For references see Many-valued logic.
How to Cite This Entry:
Post algebra. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Post_algebra&oldid=42294
Post algebra. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Post_algebra&oldid=42294
This article was adapted from an original article by V.B. Kudryavtsev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article