亚结构逻辑

✍ dations ◷ 2024-11-05 16:38:44 #亚结构逻辑

在数理逻辑中，特别是联合上证明论的时候，一些亚结构逻辑已经作为比常规系统弱的命题演算系统被介入了。同常规系统的不同之处在于它们有更少的结构规则可用：结构规则的概念是基于相继式（sequent）表达，而不是自然演绎的公式化表达。两个重要的亚结构逻辑是相干逻辑和线性逻辑。在相继式演算中，你可以把证明的每一行写为这里的结构规则是重写相继式左手端的Γ的规则，Γ是最初被构想为命题的字符串。这个字符串的标准解释是合取式：我们希望把相继式符号读做这里我们把右手端的Σ采纳为一个单一的命题C（这是直觉主义风格的相继式）;但是所有的东西都同样的适用于一般情况，因为所有的操作都发生在十字转门（turnstile）符号的左边。因为合取是交换性和结合性的操作，相继式理论的形式架设通常包括相应的结构规则来重写相继式的Γ - 例如演绎自还有对应于合取特性的幂等性和单调性的进一步的结构规则：从我们可以演绎出还有从我们可以演绎出，对于任何B，在线性逻辑中有重复的假设（hypothese）'被认为'不同于单一的出现，它排除了这两个规则。而相干逻辑只排除后者的规则，因为B明显的与结论无关。这些是结构规则的基本例子。在应用到常规命题演算的时候，这些规则是没有任何争议的。它们自然的出现于证明理论中，并在那里被首次注意到（在获得一个名字之前）。

相关

糖尿病世界糖尿病日代表符号“包圈”（Universal blue circle symbol for diabetes.）糖尿病（拉丁语：diabetes mellitus，缩写为DM，简称diabetes）是一种代谢性疾病，它的特征是患者的血糖长
儿科小儿科（或称儿科）是现代医学的一个分支，专门医疗患病的婴儿、儿童及青少年。最大的年龄通常至青春期。一个受到这方面知识专门训练的医生被称作儿科医生。
单次呼吸气息扩散能力弥散量或肺扩散容量（Diffusion capacity）是一个测量肺交换气体的能力的指标。它通常是肺功能检查的其中一项指标，在欧洲也被称作“传输系数”（"transfer factor"）。其标准计算公
采血静脉穿刺是以静脉注射或静脉血采样为目的而进行的刺穿静脉的医学操作。在所有入侵性医学流程中，静脉穿刺是最常见的一种。静脉穿刺的作用有很多，比如为诊断目的检测血液中的重
免疫疗法免疫治疗（英语：Immunotherapy），是指通过诱导、增强或抑制免疫反应的疾病治疗方法。其中旨在引起或增强免疫反应的免疫疗法，称为激活免疫疗法（activation immunotherapies），而减少或
畸形学畸形学（英语：Teratology）是研究生理上发展缺陷的学科。人们常常认为它就是研究人类先天性障碍的，但是其实畸形学的覆盖面比这个广得多。除了先天发育之外，它也研究其他的生命阶段
希罗多德希罗多德（古希腊语：Ἡρόδοτος），前5世纪（约前484年－前425年）的古希腊作家，他把旅行中的所闻所见，以及波斯阿契美尼德帝国的历史纪录下来，著成《历史》一书，成为西方文学史上第一
阿尔琴阿尔琴（英语：Alcuin，约735年－804年5月19日）一作阿尔昆，是中世纪一位英格兰学者。生于英格兰诺森布里亚王国的约克。约782年应查理曼的邀请，赴加洛林王朝担任宫廷教师。对卡洛林文艺
蒙古语族蒙古语族或蒙古语系是阿尔泰语系的语族之一。这是主张阿尔泰语系具有发生学性质的一派学者的意见。另一派学者认为蒙古语系是一个独立的语系，在类型上与突厥语族、满-通古斯
行书行书，分为行楷及行草，是汉字书法中的一种手写字体风格，相传是在东汉年间刘德升所创。唐朝张怀瓘《书断》对行书的来源有如此看法：“行书即正书（楷书）小伪，务从简易，相间流行，故谓之行