Subquasivarieties of implicative locally-finite quasivarieties

DOI10.1002/MALQ.200810161zbMATH Open1213.08003OpenAlexW2007522466MaRDI QIDQ3066295FDOQ3066295

Authors: A. P. Pyn'ko 

Publication date: 10 January 2011

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200810161

Recommendations

• scientific article; zbMATH DE number 3961699
• The lattice of subquasivarieties of a locally finite quasivariety
• ASSERTIONALLY EQUIVALENT QUASIVARIETIES
• The structure of the lattices of quasivarieties
• Singly generated quasivarieties and residuated structures

zbMATH Keywords

Galois connectionquasivarietysequent calculuslocally finite quasivarietyfinite-valued logicdiscriminator quasivarietyequality determinantimplicative quasivarietyrelatively simple algebra

Mathematics Subject Classification ID

Many-valued logic (03B50) Galois correspondences, closure operators (in relation to ordered sets) (06A15) Quasivarieties (08C15)

Cites Work

• The logic of paradox
• Implicational classes of De Morgan lattices
• Definitional equivalence and algebraizability of generalized logical systems
• Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
• Algebraic completeness results for R-mingle and its extensions
• Semi-categorical algebras. I: Semi-primal algebras
• Logic of antinomies
• Title not available (Why is that?)
• A relative interpolation theorem for infinitary universal Horn logic and its applications
• Extensions of Hałkowska-Zajac's three-valued paraconsistent logic
• The subquasivariety lattice of a discriminator variety
• Implicational classes of De Morgan Boolean algebras
• The hilbert type axiomatization of some three‐valued propositional logic

Cited In (5)

• Sequent calculi and quasivarieties
• Four-valued expansions of Dunn-Belnap's logic. I: Basic characterizations
• ASSERTIONALLY EQUIVALENT QUASIVARIETIES
• Implicit definition of the quaternary discriminator
• The cardinality of subdirectly indecomposable systems in quasivarieties

This page was built for publication: Subquasivarieties of implicative locally-finite quasivarieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3066295)