{"title":"超直觉谓词逻辑结构中基于有限域的片，预览","authors":"D. Skvortsov","doi":"10.21146/2074-1472-2023-29-1-101-113","DOIUrl":null,"url":null,"abstract":"The article presents a series of closely related papers that together make up a single piece of work, devoted to the description of a hierarchy of slices in the structure of superintuitionistic predicate logics and making probably the first attempt to transfer to the predicate case Hosoi's hierarchy of (finite) slices for the structure of superintuitionistic propositional logics.","PeriodicalId":155189,"journal":{"name":"Logical Investigations","volume":"14 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2023-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview\",\"authors\":\"D. Skvortsov\",\"doi\":\"10.21146/2074-1472-2023-29-1-101-113\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The article presents a series of closely related papers that together make up a single piece of work, devoted to the description of a hierarchy of slices in the structure of superintuitionistic predicate logics and making probably the first attempt to transfer to the predicate case Hosoi's hierarchy of (finite) slices for the structure of superintuitionistic propositional logics.\",\"PeriodicalId\":155189,\"journal\":{\"name\":\"Logical Investigations\",\"volume\":\"14 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2023-05-26\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Logical Investigations\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.21146/2074-1472-2023-29-1-101-113\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Logical Investigations","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.21146/2074-1472-2023-29-1-101-113","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview
The article presents a series of closely related papers that together make up a single piece of work, devoted to the description of a hierarchy of slices in the structure of superintuitionistic predicate logics and making probably the first attempt to transfer to the predicate case Hosoi's hierarchy of (finite) slices for the structure of superintuitionistic propositional logics.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
