scientific article
From MaRDI portal
Publication:4011709
zbMath0749.08007MaRDI QIDQ4011709
Publication date: 27 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (23)
Almost structural completeness; an algebraic approach ⋮ Every minimal dual discriminator variety is minimal as a quasivariety ⋮ Structural completeness in relevance logics ⋮ Groups satisfying semigroup laws, and nilpotent-by-Burnside varieties ⋮ Algebraic semantics for the ‐fragment of and its properties ⋮ Structural and universal completeness in algebra and logic ⋮ Least \(V\)-quasivarieties of MV-algebras ⋮ Singly generated quasivarieties and residuated structures ⋮ Hereditarily structurally complete intermediate logics: Citkin's theorem via duality ⋮ Implicational (semilinear) logics. III: Completeness properties ⋮ Quasivarieties of cancellative commutative binary modes ⋮ On constantive simple and order-primal algebras ⋮ Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic ⋮ Finitary extensions of the nilpotent minimum logic and (almost) structural completeness ⋮ Hereditarily structurally complete superintuitionistic deductive systems ⋮ Deciding active structural completeness ⋮ Subquasivarieties of regularized varieties ⋮ VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS ⋮ Structural completeness in many-valued logics with rational constants ⋮ Two maximality results for the lattice of extensions of \(\vdash_{\mathbf{RM}}\) ⋮ Definitional equivalence and algebraizability of generalized logical systems ⋮ Primitive lattice varieties ⋮ Admissibility via natural dualities
This page was built for publication:
