发布求助
文献互助 智能选刊 最新文献

Logica Universalis最新文献

筛选
英文 中文
The Internal Logic and Finite Colimits 内部逻辑和有限列限
IF 0.8 2区 数学
Logica Universalis Pub Date : 2023-11-28 DOI: 10.1007/s11787-023-00343-x
William Troiani
{"title":"The Internal Logic and Finite Colimits","authors":"William Troiani","doi":"10.1007/s11787-023-00343-x","DOIUrl":"https://doi.org/10.1007/s11787-023-00343-x","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":"6 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2023-11-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139225685","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Morphisms Between Aristotelian Diagrams 亚里士多德图式之间的变形
IF 0.8 2区 数学
Logica Universalis Pub Date : 2023-11-15 DOI: 10.1007/s11787-023-00340-0
Alexander De Klerck, Leander Vignero, L. Demey
{"title":"Morphisms Between Aristotelian Diagrams","authors":"Alexander De Klerck, Leander Vignero, L. Demey","doi":"10.1007/s11787-023-00340-0","DOIUrl":"https://doi.org/10.1007/s11787-023-00340-0","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":"43 10","pages":""},"PeriodicalIF":0.8,"publicationDate":"2023-11-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139275871","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Preface to the Rejection Special Issue 退稿特刊序言
2区 数学
Logica Universalis Pub Date : 2023-11-07 DOI: 10.1007/s11787-023-00341-z
Alex Citkin, Alexei Muravitsky
{"title":"Preface to the Rejection Special Issue","authors":"Alex Citkin, Alexei Muravitsky","doi":"10.1007/s11787-023-00341-z","DOIUrl":"https://doi.org/10.1007/s11787-023-00341-z","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":"267 4","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135475497","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Rejection: A Historico-Epistemological View 拒绝:一个历史认识论的观点
2区 数学
Logica Universalis Pub Date : 2023-09-16 DOI: 10.1007/s11787-023-00336-w
Alexei Muravitsky
{"title":"Rejection: A Historico-Epistemological View","authors":"Alexei Muravitsky","doi":"10.1007/s11787-023-00336-w","DOIUrl":"https://doi.org/10.1007/s11787-023-00336-w","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135306571","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
On Consequence and Rejection as Operators 论作为运算符的推理和拒绝
2区 数学
Logica Universalis Pub Date : 2023-09-16 DOI: 10.1007/s11787-023-00334-y
Alexei Muravitsky
{"title":"On Consequence and Rejection as Operators","authors":"Alexei Muravitsky","doi":"10.1007/s11787-023-00334-y","DOIUrl":"https://doi.org/10.1007/s11787-023-00334-y","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135304820","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Finite Tree-Countermodels via Refutation Systems in Extensions of Positive Logic with Strong Negation 具有强否定的肯定逻辑扩展中的有限树反模型
2区 数学
Logica Universalis Pub Date : 2023-09-14 DOI: 10.1007/s11787-023-00338-8
Tomasz Skura
{"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":"https://doi.org/10.1007/s11787-023-00338-8","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":"165 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134911664","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Complementary Proof Nets for Classical Logic 经典逻辑的互补证明网
2区 数学
Logica Universalis Pub Date : 2023-09-14 DOI: 10.1007/s11787-023-00337-9
Gabriele Pulcini, Achille C. Varzi
{"title":"Complementary Proof Nets for Classical Logic","authors":"Gabriele Pulcini, Achille C. Varzi","doi":"10.1007/s11787-023-00337-9","DOIUrl":"https://doi.org/10.1007/s11787-023-00337-9","url":null,"abstract":"Abstract A complementary system for a given logic is a proof system whose theorems are exactly the formulas that are not valid according to the logic in question. This article is a contribution to the complementary proof theory of classical propositional logic. In particular, we present a complementary proof-net system, $$textsf{CPN}$$ <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mi>CPN</mml:mi> </mml:math> , that is sound and complete with respect to the set of all classically invalid (one-side) sequents. We also show that cut elimination in $$textsf{CPN}$$ <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mi>CPN</mml:mi> </mml:math> enjoys strong normalization along with strong confluence (and, hence, uniqueness of normal forms).","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134911666","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Measuring Inconsistency in Generalized Propositional Logic Extended with Nonunary Operators 用非一元算子扩展的广义命题逻辑中的不一致性度量
2区 数学
Logica Universalis Pub Date : 2023-09-01 DOI: 10.1007/s11787-023-00333-z
John Grant
{"title":"Measuring Inconsistency in Generalized Propositional Logic Extended with Nonunary Operators","authors":"John Grant","doi":"10.1007/s11787-023-00333-z","DOIUrl":"https://doi.org/10.1007/s11787-023-00333-z","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135304944","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Study of the Metatheory of Assertoric Syllogistic 断言三段论元理论研究
IF 0.8 2区 数学
Logica Universalis Pub Date : 2023-08-21 DOI: 10.1007/s11787-023-00331-1
M. Rocha
{"title":"A Study of the Metatheory of Assertoric Syllogistic","authors":"M. Rocha","doi":"10.1007/s11787-023-00331-1","DOIUrl":"https://doi.org/10.1007/s11787-023-00331-1","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":"17 1","pages":"347 - 371"},"PeriodicalIF":0.8,"publicationDate":"2023-08-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45580476","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Epistemic Logics with Quantification Over Epistemic Operators: Decidability and Expressiveness 定量的认知逻辑与认知算子:可判定性与表达性
IF 0.8 2区 数学
Logica Universalis Pub Date : 2023-07-10 DOI: 10.1007/s11787-023-00330-2
Gennady Shtakser
{"title":"Epistemic Logics with Quantification Over Epistemic Operators: Decidability and Expressiveness","authors":"Gennady Shtakser","doi":"10.1007/s11787-023-00330-2","DOIUrl":"https://doi.org/10.1007/s11787-023-00330-2","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":"17 1","pages":"297 - 330"},"PeriodicalIF":0.8,"publicationDate":"2023-07-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43227906","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信