Logic researcher at Jiangnan University formalizing three types of negation for knowledge graphs and reasoning
3
papers here
2
reviewed by Evolve
3
first-author
3
corresponding
—
works · OpenAlex
0
h-index · OpenAlex
Bibliometric figures come from OpenAlex (2026-10-17) and cover the author's entire public record, not just the papers listed here. Reproducibility signal comes from Evolve's own reviews.
Research profile
Output—
Output metrics are not yet sufficient to score: the snapshot contains only brand-new 2026 arXiv preprints with no established publication record. This axis would measure cumulative publication volume, venue quality, and productivity trends once the record matures.
Impact—
Impact cannot be scored yet: citation data is insufficient and the snapshot's h-index and i10-index both stand at 0, typical of a newly created record. This axis would measure citations, citation velocity, and scholarly influence as the work accumulates readership.
Focus0/100
The focus score is 0, driven by an even field split: OpenAlex assigns 50% of the record to knowledge representation and reasoning (semantic web) and 50% to mathematical logic in AI. Topics are nonetheless tightly clustered — Advanced Algebra and Logic (3), Logic, Reasoning, and Knowledge (2), Fuzzy and Soft Set Theory (2), Semantic Web and Ontologies (1) — with one outlier in Energy Load and Power Forecasting (1).
Collaboration0/100
The collaboration score is 0 and OpenAlex records 0 distinct co-authors; the frequent-coauthor list is empty. All three catalog papers list Zhenghua Pan as first and corresponding author with no co-authors, indicating a fully solo working pattern. Whether this reflects a deliberate single-author methodology or an early network yet to form cannot be determined from the available data.
Activity47/100
The activity score is 47, computed from a young record: recent3yWorks is 4 and countsByYear shows all 4 works dated 2026. Output arrives as a single burst of arXiv preprints rather than a spread across years, so the current pace is real but too short to establish a sustained publication rhythm.
Reproducibility55/100
Reproducibility scores 55, the mean over 2 assessed papers (reproMean 55, reproPapers 2). Both reviewed preprints carry medium reproducibility readiness: the TCOI triple paper is flagged as internally inconsistent and unvalidated, while the Modus Tollens paper is formally tidy but its central equivalence is definitional — artifacts checkable in principle but not yet demonstrated by implementation or experiments.
Research summary
Zhenghua Pan is a logic-oriented researcher at Jiangnan University, China, whose work centers on a single formal program: equipping knowledge representation with three distinct types of negation — contradictory, opposite, and intermediary negation. All three papers currently in the Evolve catalog are 2026 arXiv preprints on which Pan is first and corresponding author. The first, 'Three Types of Negation of Triple and its Elements and an Extension of Triple,' proposes a TCOI triple that extends the RDF-style <s,p,o> structure with the three negations under [0,1]-valued (fuzzy) semantics; Evolve's review calls the concept interesting but notes the system is internally inconsistent and unvalidated. The second develops variants of Modus Tollens and counterfactual reasoning for the three negations in LCOI&PLCOI; the review judges it formally tidy but observes that its central equivalence is definitional rather than discovered. A third preprint extends the framework to formal concept analysis. OpenAlex topics place the record in Advanced Algebra and Logic (3 works), Logic, Reasoning, and Knowledge (2), Fuzzy and Soft Set Theory (2), Semantic Web and Ontologies (1), and Energy Load and Power Forecasting (1); the field distribution splits evenly between semantic-web knowledge representation and mathematical logic in AI. Metrics are early-stage: 4 works in the last three years, h-index 0, i10-index 0, and no recorded co-authors.
Collaboration pattern
All available evidence points to fully solo work: OpenAlex counts 0 distinct co-authors, the frequent-coauthor list is empty, and all three catalog papers are first- and corresponding-authored without co-authors. Both scored papers are arXiv preprints, so no journal or conference co-authorship is visible yet. Patterns such as mentoring, lab groups, or international links cannot be assessed from this snapshot.
Research keywords
Highlights
Three negation types for RDF-style triples
Modus Tollens and counterfactuals over three negations
Extending formal concept analysis with three negations
A third 2026 preprint carries the three-negation program into formal concept analysis; it is catalogued with first and corresponding authorship but has not yet received an Evolve verdict, keywords, or reproducibility rating.
Timeline
- 2026Releases 'Three Types of Negation of Triple and its Elements and an Extension of Triple' on arXiv as first and corresponding author, introducing the TCOI triple.
- 2026Releases 'Modus Tollens and Counterfactuals and Counterfactual Reasoning Based on Three Types of Negation' on arXiv, extending the framework to deductive and counterfactual reasoning.
- 2026Releases 'Formal Concept Analysis with Three Types of Negation', carrying the program into concept analysis; the OpenAlex record shows 4 works in total for the year.
Papers in the Evolve catalog
- first authorcorresponding
Three Types of Negation of Triple and its Elements and an Extension of Triple
- first authorcorresponding
Modus Tollens and Counterfactuals and Counterfactual Reasoning Based on Three Types of Negation
About this profile
This profile is AI-structured by Evolve.Pub from public bibliographic data (OpenAlex) and Evolve's own paper reviews. It is not written or endorsed by the researcher unless the profile is claimed. Radar dimensions are computed from real bibliometrics with fixed formulas — raw figures are shown alongside; missing dimensions mean insufficient data, never zero. Errors? Claim the profile to correct or hide it.
- Bibliometric figures come from an OpenAlex record (identity: openalex) with no ORCID linked; the profile is name-resolved from public bibliographic data only.
- The output and impact dimensions are unscored (dimMissing): no citation counts are available, and the record's h-index and i10-index are both 0.
- Only three 2026 arXiv preprints are covered here; two carry Evolve verdicts and medium reproducibility readiness, while the formal-concept-analysis paper is unrated.
- Counts by year cover 2026 only, so career-length productivity and any pre-2026 work fall outside this snapshot's scope.