What people are saying - Write a review
We haven't found any reviews in the usual places.
Structural Completeness in Algebra and Logic
Local Deduction Theorems
An Algebraization of First Order Logic with Terms
23 other sections not shown
abstract algebraic logic algebraizable algebras with operators Andreka arbitrary assume atom structure automorphism axiomatization axioms binary relations Boolean algebra BUDAPEST calculus characterization clone colors congruence consider construction Corollary corresponding cylindric algebras cylindric set algebras deductive system defined Definition denote dimension elements example formula Fregean function hence HMTI HMTII holds homomorphism identity implies infinite isomorphic JANOS BOLYAI Jonsson Kleene algebra language lattice LDDT Lemma logical operations logical schema Maddux Math Mathematics modal algebras modal logic Monk morphism multi-valued loop Nemeti notation notion obtained paper partial Peirce predicates problem proof Proposition prove quantifier quasivariety relation algebras representable result Russell satisfies schema Schroder semantic algebra semigroups semilattice sentences sequence strongly point-regular structurally complete subalgebra subset Suppose Tarski term Theorem theory ultraproducts unary unary operation universal algebra variables variety