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

Logica Universalis最新文献

筛选
英文 中文
Measuring Inconsistency in Generalized Propositional Logic 广义命题逻辑中的不一致性度量
IF 0.8 2区 数学
Logica Universalis Pub Date : 2020-07-25 DOI: 10.1007/s11787-020-00256-z
J. Grant
{"title":"Measuring Inconsistency in Generalized Propositional Logic","authors":"J. Grant","doi":"10.1007/s11787-020-00256-z","DOIUrl":"https://doi.org/10.1007/s11787-020-00256-z","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2020-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11787-020-00256-z","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49038391","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}
引用次数: 3
Numerical Existence Property and Categories with an Internal Copy 具有内部副本的数值存在性属性和类别
IF 0.8 2区 数学
Logica Universalis Pub Date : 2020-07-24 DOI: 10.1007/s11787-020-00258-x
Samuele Maschio
{"title":"Numerical Existence Property and Categories with an Internal Copy","authors":"Samuele Maschio","doi":"10.1007/s11787-020-00258-x","DOIUrl":"https://doi.org/10.1007/s11787-020-00258-x","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2020-07-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11787-020-00258-x","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46050883","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
Bases for Structures and Theories I 结构与理论基础I
IF 0.8 2区 数学
Logica Universalis Pub Date : 2020-07-20 DOI: 10.1007/s11787-020-00257-y
J. Ketland
{"title":"Bases for Structures and Theories I","authors":"J. Ketland","doi":"10.1007/s11787-020-00257-y","DOIUrl":"https://doi.org/10.1007/s11787-020-00257-y","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2020-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11787-020-00257-y","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47221119","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
The Normal and Self-extensional Extension of Dunn–Belnap Logic 邓恩-贝纳普逻辑的正态扩展和自扩展
IF 0.8 2区 数学
Logica Universalis Pub Date : 2020-05-25 DOI: 10.1007/s11787-020-00254-1
A. Avron
{"title":"The Normal and Self-extensional Extension of Dunn–Belnap Logic","authors":"A. Avron","doi":"10.1007/s11787-020-00254-1","DOIUrl":"https://doi.org/10.1007/s11787-020-00254-1","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2020-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141203173","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
The Normal and Self-extensional Extension of Dunn–Belnap Logic 邓恩-贝纳普逻辑的正态扩展和自扩展
IF 0.8 2区 数学
Logica Universalis Pub Date : 2020-05-25 DOI: 10.1007/s11787-020-00254-1
A. Avron
{"title":"The Normal and Self-extensional Extension of Dunn–Belnap Logic","authors":"A. Avron","doi":"10.1007/s11787-020-00254-1","DOIUrl":"https://doi.org/10.1007/s11787-020-00254-1","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2020-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141203178","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
Beyond Logical Pluralism and Logical Monism 超越逻辑多元论和逻辑一元论
IF 0.8 2区 数学
Logica Universalis Pub Date : 2020-05-14 DOI: 10.1007/s11787-020-00253-2
P. Arazim
{"title":"Beyond Logical Pluralism and Logical Monism","authors":"P. Arazim","doi":"10.1007/s11787-020-00253-2","DOIUrl":"https://doi.org/10.1007/s11787-020-00253-2","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2020-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141205111","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
Correction to: Some Restricted Lindenbaum Theorems Equivalent to the Axiom of Choice 修正:等价于选择公理的一些受限林登鲍姆定理
IF 0.8 2区 数学
Logica Universalis Pub Date : 2020-04-22 DOI: 10.1007/s11787-020-00250-5
David W. Miller
{"title":"Correction to: Some Restricted Lindenbaum Theorems Equivalent to the Axiom of Choice","authors":"David W. Miller","doi":"10.1007/s11787-020-00250-5","DOIUrl":"https://doi.org/10.1007/s11787-020-00250-5","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2020-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11787-020-00250-5","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44839638","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
Essential Structure of Proofs as a Measure of Complexity 证明的本质结构作为复杂性的度量
IF 0.8 2区 数学
Logica Universalis Pub Date : 2020-04-07 DOI: 10.1007/s11787-020-00251-4
J. Ramos, J. Rasga, C. Sernadas
{"title":"Essential Structure of Proofs as a Measure of Complexity","authors":"J. Ramos, J. Rasga, C. Sernadas","doi":"10.1007/s11787-020-00251-4","DOIUrl":"https://doi.org/10.1007/s11787-020-00251-4","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2020-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11787-020-00251-4","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47969482","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
On the Historical Transformations of the Square of Opposition as Semiotic Object 论对立广场作为符号对象的历史流变
IF 0.8 2区 数学
Logica Universalis Pub Date : 2020-03-01 DOI: 10.1007/s11787-020-00248-z
Ioannis M. Vandoulakis, Tatiana Yu. Denisova
{"title":"On the Historical Transformations of the Square of Opposition as Semiotic Object","authors":"Ioannis M. Vandoulakis, Tatiana Yu. Denisova","doi":"10.1007/s11787-020-00248-z","DOIUrl":"https://doi.org/10.1007/s11787-020-00248-z","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2020-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11787-020-00248-z","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44391033","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}
引用次数: 2
Structures of Opposition and Comparisons: Boolean and Gradual Cases 对立和比较的结构:布尔和渐进情况
IF 0.8 2区 数学
Logica Universalis Pub Date : 2020-02-28 DOI: 10.1007/s11787-020-00241-6
D. Dubois, H. Prade, A. Rico
{"title":"Structures of Opposition and Comparisons: Boolean and Gradual Cases","authors":"D. Dubois, H. Prade, A. Rico","doi":"10.1007/s11787-020-00241-6","DOIUrl":"https://doi.org/10.1007/s11787-020-00241-6","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2020-02-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11787-020-00241-6","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52659331","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}
引用次数: 11
首页 上一页 下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信