scientific article; zbMATH DE number 1302497

zbMath0924.03113MaRDI QIDQ4249027

James G. Raftery, Willem J. Blok

Publication date: 8 November 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

congruencesclosure operationsidealsquasivarietiesdeductive systems

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Quasivarieties (08C15)

Related Items

Ideals and clots in pointed regular categories, Fregean logics, Semi-linear Varieties of Lattice-Ordered Algebras, From partially ordered monoids to partially ordered groups via free nuclear preimages, Relative congruence formulas and decompositions in quasivarieties, Intuitionistic logic is a connexive logic, Willem Blok's contribution to abstract algebraic logic, General theory of the commutator for deductive systems. I: Basic facts, ASSERTIONALLY EQUIVALENT QUASIVARIETIES, Contextual deduction theorems, Lattice-theoretic properties of algebras of logic, Bilattice Logics and Demi-Negation, Quasi-discriminator varieties, Fragments of R-mingle, Some properties of pseudo-BCK- and pseudo-BCI-algebras