搜索
热搜: music
门户 Mathematics Logic

Logic

Pure identity theories
The signature of the pure identity theory is empty, with no functions, constants, or relations.Pure identity theory has no (non-logical) axioms. It is decidable.One of the few interesting properties t ...
category:    2014-3-16 09:53
Preliminaries
For every natural mathematical structure there is a signature σ listing the constants, functions, and relations of the theory together with their valences, so that the object is naturally a σ-struct ...
category:    2014-3-16 09:52
List of first-order theories
In mathematical logic, a first-order theory is given by a set of axioms in some language. This entry lists some of the more common examples used in model theory and some of their properties.
category:    2014-3-16 09:52
12

About us|Jobs|Help|Disclaimer|Advertising services|Contact us|Sign in|Website map|Search|

GMT+8, 2021-2-28 02:20 , Processed in 0.140359 second(s), 7 queries .

57883.com service for you! X3.1

返回顶部