Index
algebra 8
BCK- 52
cylindric 67,70
equivalential 58
Heyting 17
Hilbert 25
modal 47
polyadic 68
algebraic 7
semantics 14
algebraizable 20
axiomatic extension 6
Church-Rosser 65
classical propositional calculus 15
compact 7,30
congruence 11
compatible 11
consequence operator 6
consequence relation 5
equation al 13
finitary 6
structural 6
cylindric algebra 68
cylindrification 68
deductive system 5
defining equation 14
derivable 5
designated element 8
diagonal element 71
dimension 68
directed 7
elementary Leibniz relation 10
entailment 48
equation 13
defining 14
equivalence formula 19
equivalent 19
equivalential calculus 57
classical 57
intuitionistic 58
extension 6
axiomatic 6
filter 9
formula 5
fragment 6
fuU 68
G-rule 41
generate 6
generic 68
Heyting algebra 17
Hilbert algebra 25
Hilbert logic 25
inference rule 5
intuitionistic equivalential calculus
58
intuitionistic propositional calculus
20, 46
join-complete 30
K- congruence 42
K-consequence 13
K-theory 27
£ - algebra 8
£-equation 13
77
Previous Page Next Page