预表逻辑中的克雷格插值特性

Pub Date : 2024-03-25 DOI:10.1134/s0037446624020095

L. L. Maksimova, V. F. Yun

{"title":"预表逻辑中的克雷格插值特性","authors":"L. L. Maksimova, V. F. Yun","doi":"10.1134/s0037446624020095","DOIUrl":null,"url":null,"abstract":"<p>All pretabular extensions of the minimal logic were described and\nthe tabularity problem was solved earlier. As turned out, in total, there are seven\npretabular logics over the minimal logic. It was proved that four of them have\nCraig’s interpolation property (CIP) and two do not. In the present article,\nwe solve the problem of CIP in the seventh logic. We prove that\nit has Craig’s interpolation property.</p>","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Craig’s Interpolation Property in Pretabular Logics\",\"authors\":\"L. L. Maksimova, V. F. Yun\",\"doi\":\"10.1134/s0037446624020095\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>All pretabular extensions of the minimal logic were described and\\nthe tabularity problem was solved earlier. As turned out, in total, there are seven\\npretabular logics over the minimal logic. It was proved that four of them have\\nCraig’s interpolation property (CIP) and two do not. In the present article,\\nwe solve the problem of CIP in the seventh logic. We prove that\\nit has Craig’s interpolation property.</p>\",\"PeriodicalId\":0,\"journal\":{\"name\":\"\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0,\"publicationDate\":\"2024-03-25\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1134/s0037446624020095\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1134/s0037446624020095","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

极简逻辑的所有前表扩展都已描述，表性问题也已在早些时候解决。结果发现，在最小逻辑之上总共有七个表前逻辑。结果证明，其中四个具有克莱格插值性质（CIP），两个不具有。在本文中，我们解决了第七种逻辑中的 CIP 问题。我们证明它具有克雷格插值性质。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

Craig’s Interpolation Property in Pretabular Logics

All pretabular extensions of the minimal logic were described and the tabularity problem was solved earlier. As turned out, in total, there are seven pretabular logics over the minimal logic. It was proved that four of them have Craig’s interpolation property (CIP) and two do not. In the present article, we solve the problem of CIP in the seventh logic. We prove that it has Craig’s interpolation property.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助