1990年,Kosta Do?en首先提出“子结构逻辑”一词,子结构逻辑的特点是:从结构规则和联结词规则两个层面对逻辑系统进行分析研究,这种借助结构规则来研究逻辑推理的方法,可追溯至根岑于20世纪30年代提出的的贯列演算。子结构逻辑聚焦于结构规则的行为,通过对各类结构规则的研究,可以对一大类逻辑进行整体上的处理,从而为现代逻辑的众多分支的比较研究提供了有力工具。子结构逻辑的研究在国外已有数十年历史,但在国内还方兴未艾。本文从历史和哲学的角度引介这一主题,追溯其思想渊源和发展动因,比较分析希尔伯特式公理系统、根岑式自然演绎和贯列演算的特点,进而阐明当代子结构逻辑的基础理论,展现其对贯列演算的改进之处;在此基础上,从多角度分析结构规则受到限制的原因,从而在结构规则层面展示某些子结构逻辑分支的特点及其背后的哲学考量——由于经典逻辑在刻画某些特殊推理时存在局限,这在结构规则层面往往表现为对于某种或某些结构规则的拒斥;最后辨析“贯列”、“联结词规则”、“结构规则”等基础概念,对相关哲学讨论——如“tonk”难题、证明论语义学的发展、结构规则在证明中的地位等,进行深入研究,同时讨论逻辑后承概念多元化的可能性,并试图从结构规则层面分析逻辑的本质——基本的形式演绎就是结构性的演绎,相对于联结词等逻辑常项,结构规则从更高层次体现了演绎的特点。