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

Logica Universalis最新文献

筛选
英文 中文
Axiomatisations of the Genuine Three-Valued Paraconsistent Logics L3AGdocumentclass[12pt]{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amsbsy} usepackage{mathrsfs} usepackage{upgreek} setlength{oddsidemargin}{-69pt} begin{document}$$ 真三值副一致逻辑的公实化L3AGdocumentclass[12pt]{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amssysy} usepackage{mathrsfs} usepackage{upgreek} setlength{oddsidemargin}{-69pt} begin{document}$$
IF 0.8 2区 数学
Logica Universalis Pub Date : 2021-02-28 DOI: 10.1007/s11787-021-00269-2
Alejandro Hernández-Tello, Miguel Pérez-Gaspar, Verónica Borja Macías
{"title":"Axiomatisations of the Genuine Three-Valued Paraconsistent Logics L3AGdocumentclass[12pt]{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amsbsy} usepackage{mathrsfs} usepackage{upgreek} setlength{oddsidemargin}{-69pt} begin{document}$$","authors":"Alejandro Hernández-Tello, Miguel Pérez-Gaspar, Verónica Borja Macías","doi":"10.1007/s11787-021-00269-2","DOIUrl":"https://doi.org/10.1007/s11787-021-00269-2","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2021-02-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11787-021-00269-2","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52659354","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 Unexpected Boolean Connective 意外的布尔连接词
IF 0.8 2区 数学
Logica Universalis Pub Date : 2021-02-10 DOI: 10.1007/s11787-021-00280-7
Sérgio Marcelino
{"title":"An Unexpected Boolean Connective","authors":"Sérgio Marcelino","doi":"10.1007/s11787-021-00280-7","DOIUrl":"https://doi.org/10.1007/s11787-021-00280-7","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2021-02-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11787-021-00280-7","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45592439","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
Quantified Temporal Alethic Boulesic Doxastic Logic 量化时间Alethic Boulesic Doxastic逻辑
IF 0.8 2区 数学
Logica Universalis Pub Date : 2020-11-06 DOI: 10.1007/s11787-020-00264-z
Daniel Rönnedal
{"title":"Quantified Temporal Alethic Boulesic Doxastic Logic","authors":"Daniel Rönnedal","doi":"10.1007/s11787-020-00264-z","DOIUrl":"https://doi.org/10.1007/s11787-020-00264-z","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2020-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11787-020-00264-z","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47972776","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
Constrained Pseudo-Propositional Logic 约束伪命题逻辑
IF 0.8 2区 数学
Logica Universalis Pub Date : 2020-11-05 DOI: 10.1007/s11787-020-00266-x
Ahmad-Saher Azizi-Sultan
{"title":"Constrained Pseudo-Propositional Logic","authors":"Ahmad-Saher Azizi-Sultan","doi":"10.1007/s11787-020-00266-x","DOIUrl":"https://doi.org/10.1007/s11787-020-00266-x","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2020-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11787-020-00266-x","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43466556","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
Graded Structures of Opposition in Fuzzy Natural Logic 模糊自然逻辑中对立的分级结构
IF 0.8 2区 数学
Logica Universalis Pub Date : 2020-10-28 DOI: 10.1007/s11787-020-00265-y
Petra Murinová
{"title":"Graded Structures of Opposition in Fuzzy Natural Logic","authors":"Petra Murinová","doi":"10.1007/s11787-020-00265-y","DOIUrl":"https://doi.org/10.1007/s11787-020-00265-y","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2020-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11787-020-00265-y","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49123474","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
Tree-Like Proof Systems for Finitely-Many Valued Non-deterministic Consequence Relations 有限多值非确定性结果关系的树状证明系统
IF 0.8 2区 数学
Logica Universalis Pub Date : 2020-10-16 DOI: 10.1007/s11787-020-00263-0
Pawel Pawlowski
{"title":"Tree-Like Proof Systems for Finitely-Many Valued Non-deterministic Consequence Relations","authors":"Pawel Pawlowski","doi":"10.1007/s11787-020-00263-0","DOIUrl":"https://doi.org/10.1007/s11787-020-00263-0","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2020-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11787-020-00263-0","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46525024","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}
引用次数: 4
Encoding Complete Metric Structures by Classical Structures 用经典结构编码完全度量结构
IF 0.8 2区 数学
Logica Universalis Pub Date : 2020-09-25 DOI: 10.1007/s11787-020-00262-1
N. Ackerman
{"title":"Encoding Complete Metric Structures by Classical Structures","authors":"N. Ackerman","doi":"10.1007/s11787-020-00262-1","DOIUrl":"https://doi.org/10.1007/s11787-020-00262-1","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2020-09-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11787-020-00262-1","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43029397","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
Bases for Structures and Theories II 结构与理论基础2
IF 0.8 2区 数学
Logica Universalis Pub Date : 2020-09-21 DOI: 10.1007/s11787-020-00261-2
J. Ketland
{"title":"Bases for Structures and Theories II","authors":"J. Ketland","doi":"10.1007/s11787-020-00261-2","DOIUrl":"https://doi.org/10.1007/s11787-020-00261-2","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2020-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11787-020-00261-2","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46083349","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
Composition of Deductions within the Propositions-As-Types Paradigm 命题类型范式中演绎的构成
IF 0.8 2区 数学
Logica Universalis Pub Date : 2020-09-02 DOI: 10.1007/s11787-020-00260-3
Ivo Pezlar
{"title":"Composition of Deductions within the Propositions-As-Types Paradigm","authors":"Ivo Pezlar","doi":"10.1007/s11787-020-00260-3","DOIUrl":"https://doi.org/10.1007/s11787-020-00260-3","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2020-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11787-020-00260-3","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43046900","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
Farewell to Suppression-Freedom 告别压制自由
IF 0.8 2区 数学
Logica Universalis Pub Date : 2020-07-30 DOI: 10.1007/s11787-020-00255-0
Tore Fjetland Øgaard
{"title":"Farewell to Suppression-Freedom","authors":"Tore Fjetland Øgaard","doi":"10.1007/s11787-020-00255-0","DOIUrl":"https://doi.org/10.1007/s11787-020-00255-0","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2020-07-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11787-020-00255-0","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46160692","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
首页 上一页 下一页 尾页
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学术官方微信