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

Logica Universalis最新文献

筛选
英文 中文
Natural Deduction for Quantum Logic 量子逻辑的自然演绎
IF 0.8 2区 数学
Logica Universalis Pub Date : 2022-08-05 DOI: 10.1007/s11787-022-00307-7
Kenji Tokuo
{"title":"Natural Deduction for Quantum Logic","authors":"Kenji Tokuo","doi":"10.1007/s11787-022-00307-7","DOIUrl":"https://doi.org/10.1007/s11787-022-00307-7","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2022-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44430836","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
Frege’s Ontological Diagram Completed 弗雷格本体论图完成
IF 0.8 2区 数学
Logica Universalis Pub Date : 2022-07-29 DOI: 10.1007/s11787-022-00308-6
D. Makinson
{"title":"Frege’s Ontological Diagram Completed","authors":"D. Makinson","doi":"10.1007/s11787-022-00308-6","DOIUrl":"https://doi.org/10.1007/s11787-022-00308-6","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2022-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47331929","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
An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi 一个融合了冲突、准一致否定、经典否定和经典蕴涵的扩展Paradecinity逻辑：如何构造Nice Gentzen型序列演算
IF 0.8 2区 数学
Logica Universalis Pub Date : 2022-07-03 DOI: 10.1007/s11787-022-00305-9
N. Kamide
{"title":"An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi","authors":"N. Kamide","doi":"10.1007/s11787-022-00305-9","DOIUrl":"https://doi.org/10.1007/s11787-022-00305-9","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2022-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45737465","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
First-order Logics of Evidence and Truth with Constant and Variable Domains 常域和变域的一阶证据与真理逻辑
IF 0.8 2区 数学
Logica Universalis Pub Date : 2022-06-23 DOI: 10.1007/s11787-022-00306-8
A. Rodrigues, H. Antunes
{"title":"First-order Logics of Evidence and Truth with Constant and Variable Domains","authors":"A. Rodrigues, H. Antunes","doi":"10.1007/s11787-022-00306-8","DOIUrl":"https://doi.org/10.1007/s11787-022-00306-8","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2022-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45794862","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
On Rearrangement Inequalities for Triangular Norms and Co-norms in Multi-valued Logic 关于多值逻辑中三角范数和协范数的重排不等式
IF 0.8 2区 数学
Logica Universalis Pub Date : 2022-04-12 DOI: 10.1007/s11787-023-00332-0
C. Wu
{"title":"On Rearrangement Inequalities for Triangular Norms and Co-norms in Multi-valued Logic","authors":"C. Wu","doi":"10.1007/s11787-023-00332-0","DOIUrl":"https://doi.org/10.1007/s11787-023-00332-0","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2022-04-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46762297","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 2nd World Logic Prizes Contest, 7th UNILOG, Crete 2022 第二届世界逻辑竞赛，第七届UNILOG，克里特岛2022
IF 0.8 2区 数学
Logica Universalis Pub Date : 2022-03-11 DOI: 10.1007/s11787-022-00304-w
J. Béziau
{"title":"The 2nd World Logic Prizes Contest, 7th UNILOG, Crete 2022","authors":"J. Béziau","doi":"10.1007/s11787-022-00304-w","DOIUrl":"https://doi.org/10.1007/s11787-022-00304-w","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2022-03-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52659720","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
Tableaux for Logics of Content Relationship and Set-Assignment Semantics 内容关系逻辑表与集合赋值语义
IF 0.8 2区 数学
Logica Universalis Pub Date : 2022-02-16 DOI: 10.1007/s11787-022-00293-w
Tomasz Jarmużek, Mateusz Klonowski
{"title":"Tableaux for Logics of Content Relationship and Set-Assignment Semantics","authors":"Tomasz Jarmużek, Mateusz Klonowski","doi":"10.1007/s11787-022-00293-w","DOIUrl":"https://doi.org/10.1007/s11787-022-00293-w","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2022-02-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41273764","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
On Induction Principles for Partial Orders 偏序的归纳原理
IF 0.8 2区 数学
Logica Universalis Pub Date : 2022-02-02 DOI: 10.1007/s11787-022-00296-7
I. Ivanov
{"title":"On Induction Principles for Partial Orders","authors":"I. Ivanov","doi":"10.1007/s11787-022-00296-7","DOIUrl":"https://doi.org/10.1007/s11787-022-00296-7","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2022-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47176602","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
A Probabilistic Logic Between $$LPP_1$$ L P P 1 $$LPP_1$$ L P P P之间的概率逻辑
IF 0.8 2区 数学
Logica Universalis Pub Date : 2022-02-01 DOI: 10.1007/s11787-022-00301-z
S. Dautovic
{"title":"A Probabilistic Logic Between \u0000 \u0000 \u0000 \u0000 $$LPP_1$$\u0000 \u0000 \u0000 L\u0000 P\u0000 \u0000 P\u0000 1\u0000 \u0000 \u0000 \u0000 ","authors":"S. Dautovic","doi":"10.1007/s11787-022-00301-z","DOIUrl":"https://doi.org/10.1007/s11787-022-00301-z","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2022-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45636282","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
Logics in Fungal Mycelium Networks 真菌菌丝体网络中的逻辑
IF 0.8 2区 数学
Logica Universalis Pub Date : 2021-12-14 DOI: 10.1007/s11787-022-00318-4
A. Adamatzky, P. Ayres, Alexander E. Beasley, Nic Roberts, M. Tegelaar, Michail-Antisthenis I. Tsompanas, H. Wösten
{"title":"Logics in Fungal Mycelium Networks","authors":"A. Adamatzky, P. Ayres, Alexander E. Beasley, Nic Roberts, M. Tegelaar, Michail-Antisthenis I. Tsompanas, H. Wösten","doi":"10.1007/s11787-022-00318-4","DOIUrl":"https://doi.org/10.1007/s11787-022-00318-4","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2021-12-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41986559","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
首页 上一页 下一页 尾页
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学术官方微信