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

Journal of Logic Language and Information最新文献

筛选
英文 中文
A Class of Implicative Expansions of Kleene’s Strong Logic, a Subclass of Which Is Shown Functionally Complete Via the Precompleteness of Łukasiewicz’s 3-Valued Logic Ł3 Kleene强逻辑的一类蕴涵展开，其一个子类通过Łukasiewicz的3值逻辑Ł
IF 0.8 3区 数学
Journal of Logic Language and Information Pub Date : 2021-05-16 DOI: 10.1007/s10849-021-09336-9
G. Robles, J. Méndez
{"title":"A Class of Implicative Expansions of Kleene’s Strong Logic, a Subclass of Which Is Shown Functionally Complete Via the Precompleteness of Łukasiewicz’s 3-Valued Logic Ł3","authors":"G. Robles, J. Méndez","doi":"10.1007/s10849-021-09336-9","DOIUrl":"https://doi.org/10.1007/s10849-021-09336-9","url":null,"abstract":"","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"30 1","pages":"533 - 556"},"PeriodicalIF":0.8,"publicationDate":"2021-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10849-021-09336-9","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49442846","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Differential Object Marking in Kazakh: The Dynamic Syntax Approach 哈萨克语的差别对象标记:动态语法方法
IF 0.8 3区 数学
Journal of Logic Language and Information Pub Date : 2021-04-24 DOI: 10.1007/s10849-021-09332-z
Nadežda Christopher
{"title":"Differential Object Marking in Kazakh: The Dynamic Syntax Approach","authors":"Nadežda Christopher","doi":"10.1007/s10849-021-09332-z","DOIUrl":"https://doi.org/10.1007/s10849-021-09332-z","url":null,"abstract":"","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"30 1","pages":"305 - 329"},"PeriodicalIF":0.8,"publicationDate":"2021-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10849-021-09332-z","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46390095","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Evaluating Free Rides and Observational Advantages in Set Visualizations 集合可视化中的自由度和观测优势评估
IF 0.8 3区 数学
Journal of Logic Language and Information Pub Date : 2021-04-15 DOI: 10.1007/s10849-021-09331-0
A. Blake, Gem Stapleton, P. Rodgers, Anestis Touloumis
{"title":"Evaluating Free Rides and Observational Advantages in Set Visualizations","authors":"A. Blake, Gem Stapleton, P. Rodgers, Anestis Touloumis","doi":"10.1007/s10849-021-09331-0","DOIUrl":"https://doi.org/10.1007/s10849-021-09331-0","url":null,"abstract":"","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"30 1","pages":"557 - 600"},"PeriodicalIF":0.8,"publicationDate":"2021-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10849-021-09331-0","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42938100","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Modal and Intuitionistic Variants of Extended Belnap–Dunn Logic with Classical Negation 具有经典否定的扩展Belnap-Dunn逻辑的模态和直觉变体
IF 0.8 3区 数学
Journal of Logic Language and Information Pub Date : 2021-04-09 DOI: 10.1007/s10849-021-09330-1
N. Kamide
{"title":"Modal and Intuitionistic Variants of Extended Belnap–Dunn Logic with Classical Negation","authors":"N. Kamide","doi":"10.1007/s10849-021-09330-1","DOIUrl":"https://doi.org/10.1007/s10849-021-09330-1","url":null,"abstract":"","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"30 1","pages":"491 - 531"},"PeriodicalIF":0.8,"publicationDate":"2021-04-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10849-021-09330-1","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46830683","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Natural Deduction Bottom Up 自然扣除自下而上
IF 0.8 3区 数学
Journal of Logic Language and Information Pub Date : 2021-03-16 DOI: 10.1007/s10849-021-09329-8
Ernst Zimmermann
{"title":"Natural Deduction Bottom Up","authors":"Ernst Zimmermann","doi":"10.1007/s10849-021-09329-8","DOIUrl":"https://doi.org/10.1007/s10849-021-09329-8","url":null,"abstract":"","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"30 1","pages":"601 - 631"},"PeriodicalIF":0.8,"publicationDate":"2021-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10849-021-09329-8","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41715433","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
A Logic for Conditional Local Strategic Reasoning 条件局部策略推理的逻辑
IF 0.8 3区 数学
Journal of Logic Language and Information Pub Date : 2021-02-11 DOI: 10.1007/s10849-022-09357-y
V. Goranko, F. Ju
{"title":"A Logic for Conditional Local Strategic Reasoning","authors":"V. Goranko, F. Ju","doi":"10.1007/s10849-022-09357-y","DOIUrl":"https://doi.org/10.1007/s10849-022-09357-y","url":null,"abstract":"","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"31 1","pages":"167 - 188"},"PeriodicalIF":0.8,"publicationDate":"2021-02-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44337276","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Subatomic Negation 亚原子否定
IF 0.8 3区 数学
Journal of Logic Language and Information Pub Date : 2021-01-23 DOI: 10.1007/s10849-020-09325-4
Bartosz Więckowski
{"title":"Subatomic Negation","authors":"Bartosz Więckowski","doi":"10.1007/s10849-020-09325-4","DOIUrl":"https://doi.org/10.1007/s10849-020-09325-4","url":null,"abstract":"","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"86 1","pages":"207 - 262"},"PeriodicalIF":0.8,"publicationDate":"2021-01-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10849-020-09325-4","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52372327","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Coalition and Relativised Group Announcement Logic 联合与相对群公告逻辑
IF 0.8 3区 数学
Journal of Logic Language and Information Pub Date : 2021-01-03 DOI: 10.1007/s10849-020-09327-2
R. Galimullin
{"title":"Coalition and Relativised Group Announcement Logic","authors":"R. Galimullin","doi":"10.1007/s10849-020-09327-2","DOIUrl":"https://doi.org/10.1007/s10849-020-09327-2","url":null,"abstract":"","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"30 1","pages":"451 - 489"},"PeriodicalIF":0.8,"publicationDate":"2021-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10849-020-09327-2","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52372349","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
A Computational Treatment of Anaphora and Its Algorithmic Implementation 回指的计算处理及其算法实现
IF 0.8 3区 数学
Journal of Logic Language and Information Pub Date : 2020-12-15 DOI: 10.1007/s10849-020-09322-7
Jean-Philippe Bernardy, S. Chatzikyriakidis, Aleksandre Maskharashvili
{"title":"A Computational Treatment of Anaphora and Its Algorithmic Implementation","authors":"Jean-Philippe Bernardy, S. Chatzikyriakidis, Aleksandre Maskharashvili","doi":"10.1007/s10849-020-09322-7","DOIUrl":"https://doi.org/10.1007/s10849-020-09322-7","url":null,"abstract":"","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"30 1","pages":"1 - 29"},"PeriodicalIF":0.8,"publicationDate":"2020-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10849-020-09322-7","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45764286","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Correction to: The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities 修正:次指数和括号模态的乘加性Lambek演算
IF 0.8 3区 数学
Journal of Logic Language and Information Pub Date : 2020-12-10 DOI: 10.1007/s10849-020-09323-6
M. Kanovich, S. Kuznetsov, A. Scedrov
{"title":"Correction to: The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities","authors":"M. Kanovich, S. Kuznetsov, A. Scedrov","doi":"10.1007/s10849-020-09323-6","DOIUrl":"https://doi.org/10.1007/s10849-020-09323-6","url":null,"abstract":"","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"5 1","pages":"89 - 89"},"PeriodicalIF":0.8,"publicationDate":"2020-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10849-020-09323-6","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52372287","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"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学术官方微信