## Algebraic logic and predicate functors |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Common terms and phrases

accepts as existing Alfred Tarski atomic formulas axiom schemata becomes Bernays's blocklike Boolean complement bound variables calculus of concepts called Cartesian product cepts class of degree class of sequences class X3 comprises all pairs comprises all sequences concept variables concepts of degree constant function convenient cylindrical algebra elimination of bound existential quantification F3xyz F3zyz favor finite finkel's free variables Frege functional abstraction functional application further infinite sequences innermost quantifier ith place Journal of Symbolic lacks Lemma logic of quantification major permutation Mathematical null class null concept operation ordinary logic padding permutation functor plane figure predicate letters predicate-functor logic proof procedure quantification and identity quantified variables relation schema schematic letters sentences as names sequences xi set theory singular terms substituted suffice superficial occurrence Symbolic Logic theoretical things tion truth functions truth values usual quantificational form variables of quantification X X Y Xm x Yn yield