{"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}
引用次数: 1
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
