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