The following pages link to (Q4011709):
Displaying 29 items.
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- Structural completeness in relevance logics (Q295911) (← links)
- Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic (Q723257) (← links)
- Every minimal dual discriminator variety is minimal as a quasivariety (Q829767) (← links)
- Structural completeness in fuzzy logics (Q1038654) (← links)
- Subquasivarieties of regularized varieties (Q1272249) (← links)
- Definitional equivalence and algebraizability of generalized logical systems (Q1302288) (← links)
- Groups satisfying semigroup laws, and nilpotent-by-Burnside varieties (Q1372662) (← links)
- Least \(V\)-quasivarieties of MV-algebras (Q1697351) (← links)
- Implicational (semilinear) logics. III: Completeness properties (Q1745358) (← links)
- Quasivarieties of cancellative commutative binary modes (Q1770616) (← links)
- Finitary extensions of the nilpotent minimum logic and (almost) structural completeness (Q1790605) (← links)
- Hereditarily structurally complete superintuitionistic deductive systems (Q1790607) (← links)
- Structural completeness in many-valued logics with rational constants (Q2080696) (← links)
- Two maximality results for the lattice of extensions of \(\vdash_{\mathbf{RM}}\) (Q2082256) (← links)
- Deciding active structural completeness (Q2288335) (← links)
- Admissibility via natural dualities (Q2349950) (← links)
- On constantive simple and order-primal algebras (Q2494389) (← links)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
- On complete representations of algebras of logic (Q3636789) (← links)
- (Q4133631) (← links)
- (Q4865379) (← links)
- Algebraic semantics for the ‐fragment of and its properties (Q5108101) (← links)
- Singly generated quasivarieties and residuated structures (Q5119904) (← links)
- VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS (Q5241233) (← links)
- (Q5311045) (← links)
- Primitive lattice varieties (Q5864701) (← links)
- Residuated Structures in Algebra and Logic (Q6059121) (← links)
- Structural and universal completeness in algebra and logic (Q6145037) (← links)
