SUBJECT INDEX

Advance of face, 143 alphabet, 17, 53 analytic tableau, 23, 28, 31, 46 antecedent, 20, 69 ash content, 137, 143, 144, 147 ATA conditions, 135, 138, 139,

142, 195, 205 auxiliary fan, 36, 37

Basic solution, 100, 101, 102 blast foreman, 160, 161, 163 blind shaft, 136, 137 Boolean equation, 67, 159, 160

Chamber, 191, 192, 193 characteristic function, 109 charge deflagration, 157, 160 chute, 191, 192 class of formulae, 47, 48 coalface, 38, 118, 119 combined analytic tableau, 40 compound formula, 19, 26 compound proposition, 16,

18,55 conjunct, 41, 42 conjunction, 14, 28 consequent, 21 contradiction, 30, 34 conveyor belt, 186, 187 correct interpretation

of formula, 25 cross-cut, 21, 77, 162

Deducibility, 47 difference of multisets, 121

dirrection of coal transport, 136

direction of face advance, 136 disjunction, 14, 28, 30 distributive law, 41 domain of variability, 18,

53, 58

Elementary formula, 19, 20 elementary proposition,

16, 18 emergency dump, 186, 187 equivalence, 16 expert committee, 36 expression, 19, 20, 57

Face, 122, 123, 144, 146 family of solutions, 100, 104,

112, 152, 153

Gateroad, 164, 191, 199 geological conditions, 5, 158

Hanging wall, 52, 164

Implication, 16, 20, 24, 29 improper symbol, 17 inconsistency, 47 incorrect interpretation

of formula, 25 inducer shot-firing, 157, 158 interpretation of formula,

25,26 intersection of multisets,

121

216

Linear PB equation, 1 1, 88 linear PB inequality, 11, 89 logical AND, 16 logical connective, 16, 19, 23 logical OR. 16 long-wall face, 21

Manned chamber, 192 methane, 38, 52 methane accumulation, 38, 39 mine map, 51 multiset, 11, 119

A'-place predicate, 53 /?-place relation, 53 negation, 16, 31, 35 normal disjunctive form, 30, 31,

34,41, 64

Objective function, 11, 76 OMS, 61, 144 open-cast mining, 9, 12, 170 outburst of coal, 22 outburst of gas, 22 outline drift, 191, 199

Partial basic solution, 104, 106 pattern situation, 12, 132, 134,

136, 138, 141 permutation, 43 PL-model, 21 PL-notation, 17, 23, 28, 195 predicate, 53 predicate logic, 40, 50,

51, 55 predicate variable, 54 principle of inclusion

and exclusion, 11, 115, 127 proper symbol, 17, 53 proposition, 15, 16, 51, 53 propositional constant, 19 propositional logic, 11,

15, 16, 50

propositional-logical analysis, 11, 15, 23

pseudo-Boolean equation, 65, 89

Quantified variable, 56

Rise heading, 16, 21, 36 room and pillar method, 12, 191

Safety regulations, 5, 156 satisfiable formula, 47 screening plant, 170, 180, 182,

183, 186, 187 section, 5, 22, 125 sedimentary deposit, 191 shot-firing, 157 site of the blast, 161 solidified filling, 192 stowing, 192 sufficiently ventilated

heading, 37 sum of multisets, 121 system of PB equations/inequalities,

11, 88

Tautology, 21, 27, 28, 29, 30, 31, 35, 67

tectonic fault, 38, 39 truth table, 17, 23, 30 truth value, 14, 19, 24, 26, 30 two-place predicate, 53 two-place relation, 53

Underground mining, 8, 132 union of multisets, 120 unsatisfiable formula, 27,

30, 35, 47

Vein deposit, 12, 204

Working face, 16, 21, 57, 61

Zero alternative, 138