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

Logica Universalis最新文献

筛选
英文 中文
An Intuitionist Reasoning Upon Formal Intuitionist Logic: Logical Analysis of Kolmogorov’s 1932 Paper 形式直觉逻辑上的直觉推理——对科尔莫戈罗夫1932年论文的逻辑分析
IF 0.8 2区 数学
Logica Universalis Pub Date : 2021-12-01 DOI: 10.1007/s11787-021-00292-3
A. Drago
{"title":"An Intuitionist Reasoning Upon Formal Intuitionist Logic: Logical Analysis of Kolmogorov’s 1932 Paper","authors":"A. Drago","doi":"10.1007/s11787-021-00292-3","DOIUrl":"https://doi.org/10.1007/s11787-021-00292-3","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2021-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42275786","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
Axiomatization of Some Basic and Modal Boolean Connexive Logics 一些基本和模态布尔连接逻辑的公理化
IF 0.8 2区 数学
Logica Universalis Pub Date : 2021-11-13 DOI: 10.1007/s11787-021-00291-4
Mateusz Klonowski
{"title":"Axiomatization of Some Basic and Modal Boolean Connexive Logics","authors":"Mateusz Klonowski","doi":"10.1007/s11787-021-00291-4","DOIUrl":"https://doi.org/10.1007/s11787-021-00291-4","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2021-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43383508","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}
引用次数: 9
Implicational Partial Galois Logics: Relational Semantics 蕴涵部分伽罗逻辑:关系语义
IF 0.8 2区 数学
Logica Universalis Pub Date : 2021-10-11 DOI: 10.1007/s11787-021-00290-5
Eunsuk Yang, J. Dunn
{"title":"Implicational Partial Galois Logics: Relational Semantics","authors":"Eunsuk Yang, J. Dunn","doi":"10.1007/s11787-021-00290-5","DOIUrl":"https://doi.org/10.1007/s11787-021-00290-5","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2021-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41688958","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
The Role of the Common in Cognitive Prosperity: Our Command of the Unspeakable and Unwriteable 共同性在认知繁荣中的作用:我们对不可言说和不可写之物的掌握
IF 0.8 2区 数学
Logica Universalis Pub Date : 2021-09-30 DOI: 10.1007/s11787-021-00289-y
John Woods
{"title":"The Role of the Common in Cognitive Prosperity: Our Command of the Unspeakable and Unwriteable","authors":"John Woods","doi":"10.1007/s11787-021-00289-y","DOIUrl":"https://doi.org/10.1007/s11787-021-00289-y","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2021-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45634153","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
Implicational Tonoid Logics: Algebraic and Relational Semantics 蕴涵类型化逻辑:代数与关系语义
IF 0.8 2区 数学
Logica Universalis Pub Date : 2021-09-25 DOI: 10.1007/s11787-021-00288-z
Eunsuk Yang, J. Dunn
{"title":"Implicational Tonoid Logics: Algebraic and Relational Semantics","authors":"Eunsuk Yang, J. Dunn","doi":"10.1007/s11787-021-00288-z","DOIUrl":"https://doi.org/10.1007/s11787-021-00288-z","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2021-09-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46552158","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}
引用次数: 6
On the Origin of Logical Determinism in Babylonia 论逻辑决定论在巴比伦的起源
IF 0.8 2区 数学
Logica Universalis Pub Date : 2021-08-16 DOI: 10.1007/s11787-021-00282-5
A. Schumann
{"title":"On the Origin of Logical Determinism in Babylonia","authors":"A. Schumann","doi":"10.1007/s11787-021-00282-5","DOIUrl":"https://doi.org/10.1007/s11787-021-00282-5","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2021-08-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11787-021-00282-5","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49204301","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
Why Make Things Simple When You Can Make Them Complicated? An Appreciation of Lewis Carroll’s Symbolic Logic 当你可以让事情变得复杂时，为什么要让事情变得简单？刘易斯·卡罗尔符号逻辑赏析
IF 0.8 2区 数学
Logica Universalis Pub Date : 2021-08-09 DOI: 10.1007/s11787-021-00286-1
A. Moktefi
{"title":"Why Make Things Simple When You Can Make Them Complicated? An Appreciation of Lewis Carroll’s Symbolic Logic","authors":"A. Moktefi","doi":"10.1007/s11787-021-00286-1","DOIUrl":"https://doi.org/10.1007/s11787-021-00286-1","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2021-08-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11787-021-00286-1","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41910799","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 Formalism to Specify Unambiguous Instructions Inspired by Mīmāṁsā in Computational Settings 受MīMā启发的明确指令的形式主义ṁ计算环境中的sā
IF 0.8 2区 数学
Logica Universalis Pub Date : 2021-08-06 DOI: 10.1007/s11787-021-00281-6
Bama Srinivasan, R. Parthasarathi
{"title":"A Formalism to Specify Unambiguous Instructions Inspired by Mīmāṁsā in Computational Settings","authors":"Bama Srinivasan, R. Parthasarathi","doi":"10.1007/s11787-021-00281-6","DOIUrl":"https://doi.org/10.1007/s11787-021-00281-6","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2021-08-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11787-021-00281-6","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49433229","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
Unification in Pretabular Extensions of S4 表前扩展S4的统一
IF 0.8 2区 数学
Logica Universalis Pub Date : 2021-08-04 DOI: 10.1007/s11787-021-00287-0
S. I. Bashmakov
{"title":"Unification in Pretabular Extensions of S4","authors":"S. I. Bashmakov","doi":"10.1007/s11787-021-00287-0","DOIUrl":"https://doi.org/10.1007/s11787-021-00287-0","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2021-08-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11787-021-00287-0","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52659696","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
Lindenbaum-Type Logical Structures Lindenbaum型逻辑结构
IF 0.8 2区 数学
Logica Universalis Pub Date : 2021-07-22 DOI: 10.1007/s11787-023-00322-2
Sayantan Roy, Sankha S. Basu, Mihir K. Chakraborty
{"title":"Lindenbaum-Type Logical Structures","authors":"Sayantan Roy, Sankha S. Basu, Mihir K. Chakraborty","doi":"10.1007/s11787-023-00322-2","DOIUrl":"https://doi.org/10.1007/s11787-023-00322-2","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2021-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49015374","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学术文献互助群
群 号：481959085
Book学术官方微信