Arity 19 57 62
ASSIGNMENT 5
Atomic formula 3 19 58 63
Atomically closed 33
BINARY 3
Block tableau 45
Block tableau, modified 48
Bound variable 20
Church’s Theorem 40
Clause 9
Closed 13 30
Closed, atomically 33
Cofinite 55
Compactness Theorem 54
companion 39 40
Completeness 39
Composite number 56
Congruence 53 54
Constant 57
Degree 3 19
Disjunctive normal form 9
Domain 63
Dyadic 15
End node 15
Equality 61
Equivalence relation 55
Equivalent theories 65
Falsity 22
Fibonacci numbers 57
Finitely branching 15
Formation sequence 4
Formation tree 4
Formula 3 19 58 63
Free variable 20
Gentzen-style proof system 47
Goedel number 67
Graph 17
Group 61
Hilbert-style proof system 38
Hintikka's Lemma 14 30
Identity 64
Identity axioms 53 61 64
Identity predicate 53
Immediate extension 10 26
Immediate predecessor 15
Immediate successor 15
Interpolation 49 51
Interpretable 66
Isomorphism 21 58
Koenig's lemma 15
Language 3 19 57
Language, primitive recursive 68
lg 47 61 64
LG' 48
LG(atomic) 48
LG(symmetric) 49
lh 43 60 64
LH' 44
Logical consequence 7 22 25 30
Logical equivalence 8 28
Logical validity 7 22 25 27 48 49
Many-sorted 62
| modus ponens 39
n-ary 19
n-ary operation 57
Normal satisfiability 54 61
Normal structure 53 61 64
Numeral 67
open 13 14 30
Operation 57 62
Ordering, partial 17
PARAMETER 23
Parameters 64
Partial ordering 17
Partition 55
Path 15
Predecessor 15
Predicate 19 62
Prenex form 29
Prime numbers 57
Primitive recursive language 68
Proof system 38
Proof system, Gentzen-style 47
Proof system, Hilbert-style 38
Quantifier 19
Quantifier-free 29
Quasitautology 39
Replete 14 30
Ring 61
Root 15
Satisfaction 7 22 25
Satisfiability 7 22 25 27
Sentence 20
Sequent 46
Sequent calculus 47
Signed formula 10
Signed sequent 49
Signed variant 49
sort 62
Soundness 39
Spectrum 55 64
Spectrum problem 55 62 64
Structure 21 25
sub 69
Subtree 15
Successor 15
symmetric 49
Tableau 10 23 59
Tautology 7 39
Term 58 63
Torsion 62
TREE 15
Truth 22
Truth values 5
unary 3
Universal closure 29
Unsigned formula 10
Unsigned sequent 49
Valuation 5 21 58
Variable 19
Variable, bound 20
Variable, free 20
Variable-free 58
Variables 63
Variant 49
|
|
|
О проекте