arXiv:1407.0175 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords discriminator varieties case study, discriminator variety, structural completeness problem, complete propositional logic/deductive system, structurally complete discriminator varieties Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset