scientific article; zbMATH DE number 67021
From MaRDI portal
Publication:4011709
Recommendations
- Almost structural completeness; an algebraic approach
- On structural completeness versus almost structural completeness problem: a discriminator varieties case study
- Hereditarily structurally complete superintuitionistic deductive systems
- Deciding active structural completeness
- scientific article; zbMATH DE number 4008369
Cited in
(41)- Structural completeness in fuzzy logics
- Subquasivarieties of regularized varieties
- Definitional equivalence and algebraizability of generalized logical systems
- Groups satisfying semigroup laws, and nilpotent-by-Burnside varieties
- Quasivarieties of logic, regularity conditions and parameterized algebraization
- Least \(V\)-quasivarieties of MV-algebras
- Implicational (semilinear) logics. III: Completeness properties
- Quasivarieties of cancellative commutative binary modes
- Finitary extensions of the nilpotent minimum logic and (almost) structural completeness
- Hereditarily structurally complete superintuitionistic deductive systems
- Structural completeness in many-valued logics with rational constants
- Two maximality results for the lattice of extensions of \(\vdash_{\mathbf{RM}}\)
- Deciding active structural completeness
- Admissibility via natural dualities
- On constantive simple and order-primal algebras
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
- Almost structural completeness; an algebraic approach
- Structural completeness in relevance logics
- On complete representations of algebras of logic
- scientific article; zbMATH DE number 3557785 (Why is no real title available?)
- On structural completeness versus almost structural completeness problem: a discriminator varieties case study
- scientific article; zbMATH DE number 844484 (Why is no real title available?)
- Algebraic semantics for the \((\leftrightarrow,\neg)\)-fragment of \(\mathsf{IPC}\) and its properties
- Singly generated quasivarieties and residuated structures
- VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS
- scientific article; zbMATH DE number 2196598 (Why is no real title available?)
- Primitive lattice varieties
- Residuated Structures in Algebra and Logic
- Structural and universal completeness in algebra and logic
- Closure algebras of depth two with extremal relations: their frames, logics, and structural completeness
- Quasivarieties of p-algebras: some new results
- Structurally complete finitary extensions of positive Łukasiewicz logic
- The algebras of Lewis's counterfactuals: axiomatizations and algebraizability
- Free \(\mathrm{p}\)-algebras revisited: an algebraic investigation of implication-free intuitionism
- Quasivarieties of Wajsberg hoops
- On the structure of Bochvar algebras
- _2-rule systems and inductive classes of Gödel algebras
- Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic
- Hereditarily structurally complete extensions of \(\mathbf{RM}\)
- Every minimal dual discriminator variety is minimal as a quasivariety
- A notion of functional completeness for first order structures. II: Quasiprimality
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4011709)
