|
|
|
|
"logic" is owned by Henry.
|
|
(view preamble)
See Also: fuzzy subset
| Also defines: |
syntax, semantics, type, sort |
|
|
Cross-references: logical language, functions, relations, variables, connectives, theory, objects, represent, sentences, quantifiers, implication, negation, first order logic, mean
There are 110 references to this entry.
This is version 6 of logic, born on 2002-08-28, modified 2006-11-02.
Object id is 3380, canonical name is Logic.
Accessed 23883 times total.
Classification:
| AMS MSC: | 03B10 (Mathematical logic and foundations :: General logic :: Classical first-order logic) | | | 03B15 (Mathematical logic and foundations :: General logic :: Higher-order logic and type theory) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|