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

Journal of Logic and Computation最新文献

筛选
英文 中文
90 years of Gödel’s incompleteness theorems: Logic and computation 哥德尔不完备性定理问世 90 周年：逻辑与计算
IF 0.7 4区 数学
Journal of Logic and Computation Pub Date : 2024-05-29 DOI: 10.1093/logcom/exae026
Matthias Baaz, Marcel Ertel, Reinhard Kahle, Thomas Piecha, Jan von Plato
{"title":"90 years of Gödel’s incompleteness theorems: Logic and computation","authors":"Matthias Baaz, Marcel Ertel, Reinhard Kahle, Thomas Piecha, Jan von Plato","doi":"10.1093/logcom/exae026","DOIUrl":"https://doi.org/10.1093/logcom/exae026","url":null,"abstract":"This volume is one of two special issues collecting articles by invited speakers of the conference ‘Celebrating 90 Years of Gödel’s Incompleteness Theorems’ held in Nürtingen (Germany) in July 2021. The conference was organized by the Carl Friedrich von Weizsäcker Center at the University of Tübingen with support by the ERC-funded project Gödel Enigma: Rediscovering Kurt Gödel through his unpublished works at the University of Helsinki and by the Kurt Gödel Society in Vienna.","PeriodicalId":50162,"journal":{"name":"Journal of Logic and Computation","volume":"33 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141194713","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Modal algebra of multirelations 多重关系的模态代数
IF 0.7 4区 数学
Journal of Logic and Computation Pub Date : 2024-05-29 DOI: 10.1093/logcom/exae023
Hitoshi Furusawa, Walter Guttmann, Georg Struth
{"title":"Modal algebra of multirelations","authors":"Hitoshi Furusawa, Walter Guttmann, Georg Struth","doi":"10.1093/logcom/exae023","DOIUrl":"https://doi.org/10.1093/logcom/exae023","url":null,"abstract":"We formalize the modal operators from the concurrent dynamic logics of Peleg, Nerode and Wijesekera in a multirelational algebraic language based on relation algebras and power allegories, using relational approximation operators on multirelations developed in a companion article. We relate Nerode and Wijesekera’s box operator with a relational approximation operator for multirelations and two related operators that approximate multirelations by different kinds of deterministic multirelations. We provide an algebraic soundness proof of Goldblatt’s axioms for concurrent dynamic logic and one for a multirelational Hoare logic based on Nerode and Wijesekera’s box as applications.","PeriodicalId":50162,"journal":{"name":"Journal of Logic and Computation","volume":"27 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141194641","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Temporal logics for compartmental models 分区模型的时间逻辑
IF 0.7 4区 数学
Journal of Logic and Computation Pub Date : 2024-05-09 DOI: 10.1093/logcom/exae021
Vitor Machado, Mario Benevides
{"title":"Temporal logics for compartmental models","authors":"Vitor Machado, Mario Benevides","doi":"10.1093/logcom/exae021","DOIUrl":"https://doi.org/10.1093/logcom/exae021","url":null,"abstract":"This paper introduces two logic frameworks for the study of SIR (Susceptible-Infected-Recovered) and SIRS compartmental epidemic models, one based on Linear Temporal Logic and the other on Computation Tree Logic. We provide a short literature overview on compartmental models and other related works using logics, and then define our logics with their respective axiomatizations, and demonstrate their soundness and completeness proofs.","PeriodicalId":50162,"journal":{"name":"Journal of Logic and Computation","volume":"16 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140931627","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Attack principles in sequent-based argumentation theory 基于序列的论证理论中的攻击原则
IF 0.7 4区 数学
Journal of Logic and Computation Pub Date : 2024-04-15 DOI: 10.1093/logcom/exad080
Esther Anna Corsi
{"title":"Attack principles in sequent-based argumentation theory","authors":"Esther Anna Corsi","doi":"10.1093/logcom/exad080","DOIUrl":"https://doi.org/10.1093/logcom/exad080","url":null,"abstract":"Attack principles have been introduced in semi-abstract argumentation frameworks and, in the present work, we interpret them in sequent-based argumentation frameworks. Thus, we investigate the role of minimality and consistency of the support set of an argument. Through the notion of preservation of strength, we introduce a formal criterion to sort out the attack principles; isolate the more “acceptable” ones, i.e. those easier to justify; and recover a new argumentative semantics for the non-classical logic that arises from dropping the rules $(neg , r)$, $(land , r)$ and $(supset , l)$ from Gentzen’s classical sequent calculus for classical logic $textsf{LK}$.","PeriodicalId":50162,"journal":{"name":"Journal of Logic and Computation","volume":"5 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140575773","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Analyticity with extra-logical information 利用逻辑外信息进行分析
IF 0.7 4区 数学
Journal of Logic and Computation Pub Date : 2024-04-05 DOI: 10.1093/logcom/exae013
Mario Piazza, Matteo Tesi
{"title":"Analyticity with extra-logical information","authors":"Mario Piazza, Matteo Tesi","doi":"10.1093/logcom/exae013","DOIUrl":"https://doi.org/10.1093/logcom/exae013","url":null,"abstract":"In this paper, a new approach to the issue of extra-logical information within analytic (i.e. obeying the sub-formula property) sequent systems is introduced. We prove that incorporating extra-logical axioms into a purely logical system can preserve analyticity, provided these axioms belong to a suitable class of formulas that can be decomposed into a set of equivalent initial sequents and are permutable over the cut rule. Our approach is applicable not only to first-order classical and intuitionistic logics, but also to substructural logics. Furthermore, we establish a limit for the augmented systems under analysis: exceeding the boundaries of their respective classes of extra-logical axioms leads to either a loss of analyticity or a loss of structural properties.","PeriodicalId":50162,"journal":{"name":"Journal of Logic and Computation","volume":"72 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-04-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140575909","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A correct-by-construction approach for development of reliable planning problems 开发可靠规划问题的 "逐项修正 "方法
IF 0.7 4区 数学
Journal of Logic and Computation Pub Date : 2024-04-04 DOI: 10.1093/logcom/exae016
Sabrine Ammar, Taoufik Sakka Rouis, Mohamed Tahar Bhiri
{"title":"A correct-by-construction approach for development of reliable planning problems","authors":"Sabrine Ammar, Taoufik Sakka Rouis, Mohamed Tahar Bhiri","doi":"10.1093/logcom/exae016","DOIUrl":"https://doi.org/10.1093/logcom/exae016","url":null,"abstract":"The automated planning community has developed a defacto standard planning language called PDDL. Using the PDDL tools, the reliability of PDDL descriptions can only be posterior examined. However, the Event-B method supports a rich refinement technique that is mathematically proven. Indeed, the Event-B method relies on a first-order predicates language and sets (including mathematical functions and relations) to model the data and on a simple action language to model the treatments. A model described in Event-B includes static modeling elements (sets, constants, axioms and theorems) and dynamic modeling elements (variables, invariant properties and events). Moreover, the Event-B method allows the step-by-step correct construction of Event-B models. To specify and solve the planning problems, a development process based on the combination of Event-B and PDDL is proposed. Our development process favors the obtaining of reliable PDDL description from an ultimate Event-B model using our Event-B2PDDL Eclipse plugin. Our process is successfully experimented on the sliding puzzle game.","PeriodicalId":50162,"journal":{"name":"Journal of Logic and Computation","volume":"47 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-04-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140575850","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Meaning and identity of proofs in a bilateralist setting: A two-sorted typed Lambda-calculus for proofs and refutations 双边主义环境中证明的意义和特性：用于证明和反驳的双排序类型 Lambda 微积分
IF 0.7 4区 数学
Journal of Logic and Computation Pub Date : 2024-04-02 DOI: 10.1093/logcom/exae014
Sara Ayhan
{"title":"Meaning and identity of proofs in a bilateralist setting: A two-sorted typed Lambda-calculus for proofs and refutations","authors":"Sara Ayhan","doi":"10.1093/logcom/exae014","DOIUrl":"https://doi.org/10.1093/logcom/exae014","url":null,"abstract":"In this paper, I will develop a $lambda $-term calculus, $lambda ^{2Int}$, for a bi-intuitionistic logic and discuss its implications for the notions of sense and denotation of derivations in a bilateralist setting. Thus, I will use the Curry–Howard correspondence, which has been well-established between the simply typed $lambda $-calculus and natural deduction systems for intuitionistic logic, and apply it to a bilateralist proof system displaying two derivability relations, one for proving and one for refuting. The basis will be the natural deduction system of Wansing’s bi-intuitionistic logic 2Int, which I will turn into a term-annotated form. Therefore, we need a type theory that extends to a two-sorted typed $lambda $-calculus. I will present such a term-annotated proof system for 2Int and prove a Dualization Theorem relating proofs and refutations in this system. On the basis of these formal results, I will argue that this gives us interesting insights into questions about sense and denotation as well as synonymy and identity of proofs from a bilateralist point of view.","PeriodicalId":50162,"journal":{"name":"Journal of Logic and Computation","volume":"108 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-04-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140575772","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Changing the logic without changing the subject: the case of computability 改变逻辑而不改变主题：可计算性案例
IF 0.7 4区 数学
Journal of Logic and Computation Pub Date : 2024-04-02 DOI: 10.1093/logcom/exae015
Francisco N MartÍnez-Aviña
{"title":"Changing the logic without changing the subject: the case of computability","authors":"Francisco N MartÍnez-Aviña","doi":"10.1093/logcom/exae015","DOIUrl":"https://doi.org/10.1093/logcom/exae015","url":null,"abstract":"In this paper, I argue against the thesis that the meaning of ‘computability’ is logic-dependent. I do this from a category-theoretic perspective. Applying a method due to Mortensen and Lavers [26], I show that we can dualize the internal logic of the effective topos, in order to obtain a model of paraconsistent computability theory. Since the dualization leaves the structural properties of universal constructions in the topos unchanged, in particular the properties of the natural numbers object, I conclude that, at least in this case, changing the logic does not change our characterization of computability.","PeriodicalId":50162,"journal":{"name":"Journal of Logic and Computation","volume":"439 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-04-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140575749","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Fuzzy bi-Gödel modal logic and its paraconsistent relatives 模糊双哥德尔模态逻辑及其准近义词
IF 0.7 4区 数学
Journal of Logic and Computation Pub Date : 2024-03-31 DOI: 10.1093/logcom/exae011
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
{"title":"Fuzzy bi-Gödel modal logic and its paraconsistent relatives","authors":"Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko","doi":"10.1093/logcom/exae011","DOIUrl":"https://doi.org/10.1093/logcom/exae011","url":null,"abstract":"We present an axiomatization of the fuzzy bi-Gödel modal logic ${textbf{K}textsf{biG}}^{textsf{f}}$ formulated in the language containing $triangle $ (Baaz Delta operator) and treating $-!-!< $ (co-implication) as the defined connective. We also consider two paraconsistent relatives of ${textbf{K}textsf{biG}}^{textsf{f}}$ — $textbf{K}textsf{G}^{2pm textsf{f}}$ and $textsf{G}^{2pm textsf{f}}_{blacksquare ,blacklozenge }$. These logics are defined on fuzzy frames with two valuations $e_{1}$ and $e_{2}$ standing for the support of truth and falsity, respectively, and equipped with two fuzzy relations$R^{+}$ and $R^{-}$ used to determine supports of truth and falsity of modal formulas. We construct embeddings of $textbf{K}textsf{G}^{2pm textsf{f}}$ and $textsf{G}^{2pm textsf{f}}_{blacksquare ,blacklozenge }$ into ${textbf{K}textsf{biG}}^{textsf{f}}$ and use them to obtain the characterization of $textbf{K}textsf{G}^{2}$- and $textsf{G}^{2}_{blacksquare ,blacklozenge }$-definable frames. Moreover, we study the transfer of ${textbf{K}textsf{biG}}^{textsf{f}}$ formulas into $textbf{K}textsf{G}^{2pm textsf{f}}$, i.e., formulas that are ${textbf{K}textsf{biG}}^{textsf{f}}$-valid on mono-relational frames $mathfrak{F}$ and $mathfrak{F}^{prime}$ iff they are $textbf{K}textsf{G}^{2pm textsf{f}}$-valid on their bi-relational counterparts. Finally, we establish $textsf{PSpace}$-completeness of all considered logics.","PeriodicalId":50162,"journal":{"name":"Journal of Logic and Computation","volume":"1 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-03-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140575771","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Low scattered linear orders 低分散线性阶次
IF 0.7 4区 数学
Journal of Logic and Computation Pub Date : 2024-03-21 DOI: 10.1093/logcom/exae008
Andrey Frolov, Maxim Zubkov
{"title":"Low scattered linear orders","authors":"Andrey Frolov, Maxim Zubkov","doi":"10.1093/logcom/exae008","DOIUrl":"https://doi.org/10.1093/logcom/exae008","url":null,"abstract":"In 1998 R. Downey formulated a problem: to describe a property $P$ of classical order types, which guarantees that if $mathcal{L}$ is a low linear order and $P$ holds for the order type of $mathcal{L}$ then $mathcal{L}$ is isomorphic to a computable linear order. We find a new such property $P$. Also, we give an upper bound on a complexity of an isomorphism between computable and low copies and show that this bound is sharp.","PeriodicalId":50162,"journal":{"name":"Journal of Logic and Computation","volume":"7 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-03-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140201208","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"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学术官方微信