{"title":"具有强否定的肯定逻辑扩展中的有限树反模型","authors":"Tomasz Skura","doi":"10.1007/s11787-023-00338-8","DOIUrl":null,"url":null,"abstract":"Abstract A sufficient condition for an extension of positive logic with strong negation to be characterized by a class of finite trees is given.","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.4000,"publicationDate":"2023-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Finite Tree-Countermodels via Refutation Systems in Extensions of Positive Logic with Strong Negation\",\"authors\":\"Tomasz Skura\",\"doi\":\"10.1007/s11787-023-00338-8\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Abstract A sufficient condition for an extension of positive logic with strong negation to be characterized by a class of finite trees is given.\",\"PeriodicalId\":48558,\"journal\":{\"name\":\"Logica Universalis\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.4000,\"publicationDate\":\"2023-09-14\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Logica Universalis\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1007/s11787-023-00338-8\",\"RegionNum\":2,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"LOGIC\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Logica Universalis","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1007/s11787-023-00338-8","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"LOGIC","Score":null,"Total":0}
期刊介绍：
Logica Universalis (LU) publishes peer-reviewed research papers related to universal features of logics. Topics include general tools and techniques for studying already existing logics and building new ones, the study of classes of logics, the scope of validity and the domain of application of fundamental theorems, and also philosophical and historical aspects of general concepts of logic.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
