## Algebraic logic |

### What people are saying - Write a review

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

### Contents

Structural Completeness in Algebra and Logic | 59 |

Local Deduction Theorems | 75 |

An Algebraization of First Order Logic with Terms | 125 |

Copyright | |

23 other sections not shown

### Other editions - View all

### Common terms and phrases

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