A Mathematical Life (Q4586411): Difference between revisions

@@ Property / cites work @@
+Endomorphisms of direct unions of bounded lattices
+Normal rank
@@ Property / cites work @@
+Algebraic logic and universal algebra in computer science. Conference, Ames, Iowa, USA, June 1-4, 1988. Proceedings
+Normal rank
@@ Property / cites work @@
+On the structure of varieties with equationally definable principal congruences. II
+Normal rank
@@ Property / cites work @@
+On the structure of varieties with equationally definable principal congruences. I
+Normal rank
@@ Property / cites work @@
+A finite basis theorem for quasivarieties
@@ Property / cites work: A finite basis theorem for quasivarieties / rank @@
+Normal rank
@@ Property / cites work @@
+Alfred Tarski's work on general metamathematics
@@ Property / cites work: Alfred Tarski's work on general metamathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to the special issue on algebraic logic
+Normal rank
@@ Property / cites work @@
+Q4011710
@@ Property / cites work: Q4011710 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4029628
@@ Property / cites work: Q4029628 / rank @@
+Normal rank
@@ Property / cites work @@
+On the structure of varieties with equationally definable principal congruences. III
+Normal rank
@@ Property / cites work @@
+On the structure of varieties with equationally definable principal congruences. IV
+Normal rank
@@ Property / cites work @@
+On the congruence extension property
@@ Property / cites work: On the congruence extension property / rank @@
+Normal rank
@@ Property / cites work @@
+Q2739549
@@ Property / cites work: Q2739549 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249028
@@ Property / cites work: Q4249028 / rank @@
+Normal rank
@@ Property / cites work @@
+Fregean logics
@@ Property / cites work: Fregean logics / rank @@
+Normal rank
@@ Property / cites work @@
+Fregean logics with the multiterm deduction theorem and their algebraization
+Normal rank
@@ Property / cites work @@
+Abstract algebraic logic I. Papers presented at the workshop (AAL), July 1--5, 1997, Barcelona, Spain
+Normal rank
@@ Property / cites work @@
+Q2772907
@@ Property / cites work: Q2772907 / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of abstract algebraic logic
@@ Property / cites work: A survey of abstract algebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the closure properties of the class of full G-models of a deductive system
+Normal rank
@@ Property / cites work @@
+Update to ``A survey of abstract algebraic logic''
+Normal rank
@@ Property / cites work @@
+Varieties with equationally definable principal congruences
+Normal rank
@@ Property / cites work @@
+Typed homomorphic relations extended with subtypes
+Normal rank
@@ Property / cites work @@
+The behavior-realization adjunction and generalized homomorphic relations
+Normal rank
@@ Property / cites work @@
+A complete algebraic characterization of behavioral subtyping
+Normal rank
@@ Property / cites work @@
+Behavioural reasoning for conditional equations
@@ Property / cites work: Behavioural reasoning for conditional equations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4844165
@@ Property / cites work: Q4844165 / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-valued logic programming semantics An algebraic approach
+Normal rank
@@ Property / cites work @@
+A duality theory for bilattices
@@ Property / cites work: A duality theory for bilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Gentzen-style axiomatizations in equational logic
@@ Property / cites work: Gentzen-style axiomatizations in equational logic / rank @@
+Normal rank
@@ Property / cites work @@
+Amalgamation, congruence-extension, and interpolation properties in algebras
+Normal rank
@@ Property / cites work @@
+On some operations on classes of algebras
@@ Property / cites work: On some operations on classes of algebras / rank @@
+Normal rank
@@ Property / cites work @@
+The join of equational theories
@@ Property / cites work: The join of equational theories / rank @@
+Normal rank
@@ Property / cites work @@
+Base-undecidable properties of universal varieties
+Normal rank
@@ Property / cites work @@
+Minimal, locally-finite varieties that are not finitely axiomatizable
+Normal rank
@@ Property / cites work @@
+Universal equational theories and varieties of algebras
+Normal rank
@@ Property / cites work @@
+Q3325724
@@ Property / cites work: Q3325724 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite groupoids without finite bases for their identities
+Normal rank
@@ Property / cites work @@
+On the structure of equationally complete varieties. I
+Normal rank
@@ Property / cites work @@
+On the Structure of Equationally Complete Varieties. II
+Normal rank
@@ Property / cites work @@
+Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
+Normal rank
@@ Property / cites work @@
+Q4011728
@@ Property / cites work: Q4011728 / rank @@
+Normal rank
@@ Property / cites work @@
+Data types over multiple-valued logics
@@ Property / cites work: Data types over multiple-valued logics / rank @@
+Normal rank
@@ Property / cites work @@
+Equality-Test and If-Then-Else Algebras: Axiomatization and Specification
+Normal rank
@@ Property / cites work @@
+Q4026904
@@ Property / cites work: Q4026904 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4250358
@@ Property / cites work: Q4250358 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4835611
@@ Property / cites work: Q4835611 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273422
@@ Property / cites work: Q4273422 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4260390
@@ Property / cites work: Q4260390 / rank @@
+Normal rank
@@ Property / cites work @@
+The abstract variable-binding calculus
@@ Property / cites work: The abstract variable-binding calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Lambda abstraction algebras: representation theorems
+Normal rank
@@ Property / cites work @@
+Q3837997
@@ Property / cites work: Q3837997 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3689388
@@ Property / cites work: Q3689388 / rank @@
+Normal rank