English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

As the second part of the treatise 'A General Theory of Concept Lattice',this paper speaks of the tractability of the general concept lattice for bothits lattice structure and logic content. The general concept lattice permits afeasible construction that can be completed in a single scan of the formalcontext, though the conventional formal-concept lattice and rough-set latticecan be regained from the general concept lattice. The logic implicationdeducible from the general concept lattice takes the form of {\mu}_1{\rightarrow} {\mu}_2 where {\mu}_1,{\mu}_2 {\in} M^{\ast} are compositeattributes out of the concerned formal attributes M. Remarkable is that with asingle formula based on the contextual truth 1_{\eta} one can deduce all theimplication relations extractable from the formal context. For concreteness, itcan be shown that any implication A {\rightarrow} B (A, B being subsets of theformal attributes M) discussed in the formal-concept lattice corresponds to aspecial case of {\mu}_1 {\rightarrow} {\mu}_2 by means of {\mu}_1 = {\prod} Aand {\mu}_2 = {\prod} B. Thus, one may elude the intractability due tosearching for the Guigues-Duquenne basis appropriate for the implicationrelations deducible from the formal-concept lattice. Likewise, one may identifythose {\mu}_1 {\rightarrow} {\mu}_2 where {\mu}_1 = {\sum} A and {\mu}_2 ={\sum} B with the implications that can be acquired from the rough-set lattice.(Here, the product {\prod} stands for the conjunction and the summation {\sum}the disjunction.)}

A General Theory of Concept Lattice (II): Tractable Lattice Construction and Implication Extraction