Global Logic System Level 6 Fine-Grained Core Knowledge Graph: Classical Axioms, Deductive Rules, Fallacy Types, and Intermediate-to-Advanced Formal Logic Methodology Dataset

This dataset presents a 6-level fine-grained core logical knowledge graph constructed from multiple authoritative logic sources. It integrates four curated CSV files into a single unified table (223 records, 74 fields), covering classical axioms and theorems, inference and derivation rules, common fallacy types, and intermediate-to-advanced formal logic methods (including sequent and natural deduction systems, propositional and first-order logic, and parts of modal and non-classical logic). Each record is annotated with a hierarchical L1–L6 structure (universe, branch, topic, object type, canonical name, and schematic/content field), plus source and notes metadata, making the dataset suitable for logic education, automated reasoning research, knowledge-graph construction, and AI explainability experiments. The collection is core-oriented rather than exhaustive, and is intended as a reusable, extensible backbone for further logical knowledge graph enrichment.