亚结构逻辑

✍ dations ◷ 2025-11-24 14:38:05 #亚结构逻辑

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

相关

基础医学人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学基础医学（BMS），属于基础学科，是现代医学的
气管切开术1 – 声带 2 – 甲状软骨 3 – 环状软骨 4 – 气管环 5 – 气囊气管切开术（tracheotomy /ˌtreɪkiˈɒtəmi/、UK also /ˌtræki-/；tracheostomy），简称“气切”，它是将气管软
植物配种植物配种（英语：Plant breeding）是指透过改变植物的特征而产生所期望的特性的艺术和科学。植物配种现使用于为人类和动物改善产品中营养的品质。
白俄罗斯欧洲（深灰色） —白俄罗斯共和国（白俄罗斯语：Беларусь，转写：Biełaruś；IPA：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI
SELIBRLIBRIS是LIBRary Information System的缩写，意为图书馆资讯系统，是一个瑞典的全国联合目录，由位于斯德哥尔摩的瑞典皇家图书馆维护。全国大约650万个书目，可供自由搜寻。除了书
蟾毒色胺蟾毒色胺（bufotenin、5-HO-DMT、bufotenine）是一种与血清素相关的色胺类物质，是存在于某些蟾蜍皮肤（得名于蟾蜍属）、蘑菇、高等植物和哺乳动物中的生物碱，结构与二甲基色胺、脱磷
HCG试验hCG试验（hCG pregnancy strip test）是利用检验人绒毛膜促性腺激素的方式，判断是否有怀孕的试验（妊娠试验）。hCG（人绒毛膜促性腺激素）是胚胎受精后立刻就会分泌的激素，之后也会由胎
父母亲本，指的是生成新个体的生物。而父母、家长、双亲、子女的定义则较广泛，只要是养育孩子成长的人，都可以用此称呼。语出《礼记·曲礼下》：“生曰父，曰母，曰妻；死曰考，曰妣，曰嫔。”。
月经月经（英语：menstruation, period, monthly，古代叫做癸水，俗称姨妈到、好朋友、大姨妈、来M等），是指女性血液或黏膜定期从子宫内膜经阴道排出体外的现象。高达80%女性曾表示在月经
高兴高兴（high）即快乐的情绪，另可能指：