Journal of Applied Non-Classical Logics最新文献

{"title":"Decidability of topological quasi-Boolean algebras","authors":"Yiheng Wang, Zhe Lin, Minghui Ma","doi":"10.1080/11663081.2024.2336373","DOIUrl":"https://doi.org/10.1080/11663081.2024.2336373","url":null,"abstract":"","PeriodicalId":38573,"journal":{"name":"Journal of Applied Non-Classical Logics","volume":"28 2","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-04-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140753195","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"The existential fragment of second-order propositional intuitionistic logic is undecidable","authors":"Ken-etsu Fujita, Aleksy Schubert, P. Urzyczyn, Konrad Zdanowski","doi":"10.1080/11663081.2024.2312774","DOIUrl":"https://doi.org/10.1080/11663081.2024.2312774","url":null,"abstract":"","PeriodicalId":38573,"journal":{"name":"Journal of Applied Non-Classical Logics","volume":"134 18","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-03-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140078426","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation","authors":"Juan C. Agudelo-Agudelo","doi":"10.1080/11663081.2024.2313315","DOIUrl":"https://doi.org/10.1080/11663081.2024.2313315","url":null,"abstract":"","PeriodicalId":38573,"journal":{"name":"Journal of Applied Non-Classical Logics","volume":"187 3","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-02-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139840058","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation","authors":"Juan C. Agudelo-Agudelo","doi":"10.1080/11663081.2024.2313315","DOIUrl":"https://doi.org/10.1080/11663081.2024.2313315","url":null,"abstract":"","PeriodicalId":38573,"journal":{"name":"Journal of Applied Non-Classical Logics","volume":"39 26","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-02-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139780132","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Temporal logic of surjective bounded morphisms between finite linear processes","authors":"David Gabelaia, Evgeny Kuznetsov, Radu Casian Mihailescu, Konstantine Razmadze, Levan Uridia","doi":"10.1080/11663081.2023.2269432","DOIUrl":"https://doi.org/10.1080/11663081.2023.2269432","url":null,"abstract":"In this paper we study a temporal logic for finite linear structures and a surjective bounded morphism between them. We give a modal axiomatization of such structures and also show that any such structure can be uniquely characterised by a temporal formula, up to an isomorphism. As a main theorem we prove Kripke completeness of the proposed axiomatization. Finite linear structures, i.e., finite sets with a strict linear ordering, naturally arise as representations of a discrete, bounded time flow. Many domains of our everyday practice including time series [2], linear planning [4], [7], scene analysis [1], [9], chain-of-responsibility design pattern in programming [3], [8], etc. involve a finite linear structure to represent a sequence of consecutive steps. In many such scenarios, the processes (F,<) comes with a natural partition ⋃ i∈I Fi of F into convex equivalence classes Fi. We call Fi convex if for each a, b ∈ Fi with a < b and each t with a < t < b, we have t ∈ Fi. In such a case, the index set I naturally “inherits” a linear ordering from (F,<). Mathematically, such a process ( ⋃ i∈I Fi, <) can be represented as two temporal linear structures F and I related by means of a bounded morphism. An example of such a structure comes from the analysis of video data where the linear sequence of image frames is partitioned into intervals (grouped in some way e.g. by homogeneous sound moments, or by each interval representing an episode, or a scene). In the area of computer vision, deep learning (DL) methods usually process a video stream as a black box, without looking into the temporal structure or content [6]. By contrast, we aim to represent a high-level knowledge about frames, scenes and their temporal interrelationships and to develop formal languages capable of reasoning about resulting structures [5]. To flesh out this approach a little more, let us consider a conceptual representation of a movie. The raw video data of the movie can simply be represented as a sequence of frames. On a slightly higher level of conceptualization, the same raw data can be understood as a sequence of scenes, where a scene is a subset of logically related consecutive frames. If one also “remembers” which frame belongs to which scene, the following structure emerges:","PeriodicalId":38573,"journal":{"name":"Journal of Applied Non-Classical Logics","volume":"139 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136235696","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Fuzzy logics – quantitatively","authors":"Zofia Kostrzycka, Marek Zaionc","doi":"10.1080/11663081.2023.2269645","DOIUrl":"https://doi.org/10.1080/11663081.2023.2269645","url":null,"abstract":"","PeriodicalId":38573,"journal":{"name":"Journal of Applied Non-Classical Logics","volume":"448 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134909059","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Relational representation for subordination Tarski algebras","authors":"Sergio A. Celani","doi":"10.1080/11663081.2023.2269641","DOIUrl":"https://doi.org/10.1080/11663081.2023.2269641","url":null,"abstract":"AbstractIn this work, we study the relational representation of the class of Tarski algebras endowed with a subordination, called subordination Tarski algebras. These structures were introduced in a previous paper as a generalisation of subordination Boolean algebras. We define the subordination Tarski spaces as topological spaces with a fixed basis endowed with a closed relation. We prove that there exist categorical dualities between categories whose objects are subordination Tarski algebras and categories whose objects are subordination Tarski spaces. These results extend the known dualities for modal algebras. Finally, we are going to characterise some algebraic conditions written in the quasi-modal language by means of first-order conditions.Keywords: Tarski algebrassubordinationsquasi-modal operatorTarski spacesstone spaces AcknowledgmentsWe would like to thank the referees for the comments and suggestions on the presentation of this paper.Disclosure statementNo potential conflict of interest was reported by the author(s).Additional informationFundingThe author acknowledges the partial support of Consejo Nacional de Investigaciones Científicas y Técnicas (PIP 11220200101301CO) and Agencia Nacional de Promoción Científica y Tecnológica (PICT2019-2019-00882, ANPCyT-Argentina), and MOSAIC Project 101007627 (European Union's Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie).","PeriodicalId":38573,"journal":{"name":"Journal of Applied Non-Classical Logics","volume":"18 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135995138","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Symmetric bi-derivations of UP(BCC)-algebras","authors":"Damla Yılmaz","doi":"10.1080/11663081.2023.2269433","DOIUrl":"https://doi.org/10.1080/11663081.2023.2269433","url":null,"abstract":"AbstractIn this paper, we define the notions of (l,r)-symmetric bi-derivations and (r,l)-symmetric bi-derivations on UP-algebras and investigate some properties of them. For these derivations, we introduce the sets Kerd(U), Fixd(U) and FixD(U). Moreover, we examine with examples whether these sets are UP-subalgebra or UP-ideal.Keywords: UP-algebrasymmetric bi-derivationUP-idealfixed setBCC-algebras Disclosure statementNo potential conflict of interest was reported by the author(s).","PeriodicalId":38573,"journal":{"name":"Journal of Applied Non-Classical Logics","volume":"125 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135803196","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Logic, arguments and inconsistencies: an introduction to the festschrift in honour of Philippe Besnard","authors":"S. Doutre, A. Herzig, A. Hunter","doi":"10.1080/11663081.2023.2250183","DOIUrl":"https://doi.org/10.1080/11663081.2023.2250183","url":null,"abstract":"In this special issue of the Journal of Applied Non-Classical Logics, we aim to celebrate the recent retirement of Philippe Besnard as directeur de recherche in the Centre National de Recherche Scientifique (CNRS). Philippe has made many important contributions to the use of logic in artificial intelligence, in particular non-monotonic reasoning, argumentation and inconsistency-tolerant reasoning. In order to honour these achievements, this special issue brings together leading researchers in the field with contributions that touch on the questions and interests of Philippe over the past 40 years. The special issue contains 15 scientific contributions from 37 authors, among them Philippe’s colleagues, former students and friends. In this introduction, we group these contributions into four themes that reflect the main areas of Philippe’s research activity over the past four decades.","PeriodicalId":38573,"journal":{"name":"Journal of Applied Non-Classical Logics","volume":"7 1","pages":"207 - 211"},"PeriodicalIF":0.0,"publicationDate":"2023-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87405747","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Merging operators on stratified belief bases equipped with argumentative inference","authors":"Marcelo A. Falappa, A. García, Guillermo Ricardo Simari","doi":"10.1080/11663081.2023.2248775","DOIUrl":"https://doi.org/10.1080/11663081.2023.2248775","url":null,"abstract":"This work considers the formalisation of the merging process of stratified belief bases, where beliefs are stored in different layers or strata. Their strata are ranked, following a total order, employing the value the agent using the belief base assigns to these beliefs. The agent uses an argumentation mechanism to reason from the belief base and obtain the final inferences. We present two ways of merging stratified belief bases: the first is defined by merging two strata without belief preservation, and the second by merging two strata with belief preservation. For these operators, as layers merge, it is possible that some information has to be deleted from the stratum to maintain consistency. The latter merge operator will be defined as performing their actions so that information removed from the stratum is preserved after the merging by moving it to a stratum containing information perceived as having a lower value and where those beliefs may trigger a new revision, possibly starting a cascading effect.","PeriodicalId":38573,"journal":{"name":"Journal of Applied Non-Classical Logics","volume":"5 1","pages":"387 - 420"},"PeriodicalIF":0.0,"publicationDate":"2023-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87701098","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}