Year:

  1.  11
    Logic and Argumentation.Thomas Ågotnes, Beishui Liao & Yì N. Wáng - 2018 - Journal of Applied Non-Classical Logics 28 (2-3):163-164.
  2.  2
    Arguing About Constitutive and Regulative Norms.Gabriella Pigozzi & Leendert van der Torre - 2018 - Journal of Applied Non-Classical Logics 28 (2-3):189-217.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  3.  4
    On the Measure of Conflicts: An Argumentation-Based Framework.Badran Raddaoui - 2018 - Journal of Applied Non-Classical Logics 28 (2-3):240-259.
    An important issue in the management of knowledge-based systems is the handling of inconsistency. This problem has recently been attracting a lot of attention from Artificial Intelligence community. When inconsistency occurs in a knowledge base, there are mainly two ways to deal with it; we either resolve it or accept inconsistency and cope with it. This paper tackles the problem of evaluating the amount of contradiction in propositional knowledge bases, and provides a new measure of conflict based on deductive argumentation (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  4.  3
    Abduction in Argumentation Frameworks.Chiaki Sakama - 2018 - Journal of Applied Non-Classical Logics 28 (2-3):218-239.
    ABSTRACTThis paper studies abduction in abstract argumentation frameworks. Given an argument, an agent verifies whether the argument is justified or not in its argumentation framework. If the argument is not justified in the argumentation framework, the agent seeks conditions to explain the justification state by hypothesising arguments in the universal argumentation framework. We formulate such abductive reasoning in argumentation semantics and provide its computation in logic programming. We also apply abduction to enforcement and simple dialogue games in argumentation frameworks.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  5.  5
    Beliefs Supported by Binary Arguments.Chenwei Shi, Sonja Smets & Fernando R. Velázquez-Quesada - 2018 - Journal of Applied Non-Classical Logics 28 (2-3):165-188.
    In this paper, we explore the relation between an agent’s doxastic attitude and her arguments in support of a given claim. Our main contribution is the design of a logical setting that allows us reason about binary arguments which are either in favour or against a certain claim. This is a setting in which arguments and propositions are the basic building blocks so that the concept of argument-based belief emerges in a straightforward way. We work against the background of Dung’s (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  6.  3
    Initial Sets in Abstract Argumentation Frameworks.Yuming Xu & Claudette Cayrol - 2018 - Journal of Applied Non-Classical Logics 28 (2-3):260-279.
    Dung’s abstract argumentation provides us with a general framework to deal with argumentation, non-monotonic reasoning and logic programming. For the extension-based semantics, one of the basic principles is I-maximality which is in particular related with the notion of skeptical justification. Another one is directionality which can be employed for the study of dynamics of argumentation. In this paper, we introduce two new extension-based semantics into Dung’s abstract argumentation, called grounded-like semantics and initial semantics which satisfy the I-maximality and directionality principles. (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  7.  10
    A Game-Theoretic Analysis on the Use of Indirect Speech Acts.M. Zhao - 2018 - Journal of Applied Non-Classical Logics 28 (2-3):280-296.
    In this paper, I will discuss why in some circumstances people express their intentions indirectly: the use of Indirect Speech Acts. Based on Parikh’s games of partial information and Franke’s IBR model, I develop game-theoretic models of ISAs, which are divided into two categories, namely non-conventional ISAs and conventional ISAs. I assume that non-conventional ISAs involve two types of communication situations: communication under certain cooperation and that under uncertain cooperation. I will analyse the cases of ironical request and implicit bribery (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  8.  25
    Truth Without Standard Models: Some Conceptual Problems Reloaded.Eduardo Barrio & Bruno Da Ré - 2018 - Journal of Applied Non-Classical Logics 28 (1):122-139.
    A theory of truth is usually demanded to be consistent, but -consistency is less frequently requested. Recently, Yatabe has argued in favour of -inconsistent first-order theories of truth, minimising their odd consequences. In view of this fact, in this paper, we present five arguments against -inconsistent theories of truth. In order to bring out this point, we will focus on two very well-known -inconsistent theories of truth: the classical theory of symmetric truth FS and the non-classical theory of naïve truth (...)
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography  
  9.  3
    Assertive Graphs.F. Bellucci, D. Chiffi & A.-V. Pietarinen - 2018 - Journal of Applied Non-Classical Logics 28 (1):72-91.
    Peirce and Frege both distinguished between the propositional content of an assertion and the assertion of a propositional content, but with different notational means. We present a modification of Peirce’s graphical method of logic that can be used to reason about assertions in a manner similar to Peirce’s original method. We propose a new system of Assertive Graphs, which unlike the tradition that follows Frege involves no ad hoc sign of assertion. We show that axioms of intuitionistic logic can be (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  10.  4
    From KLM-Style Conditionals to Defeasible Modalities, and Back.Katarina Britz & Ivan Varzinczak - 2018 - Journal of Applied Non-Classical Logics 28 (1):92-121.
    We investigate an aspect of defeasibility that has somewhat been overlooked by the non-monotonic reasoning community, namely that of defeasible modes of reasoning. These aim to formalise defeasibility of the traditional notion of necessity in modal logic, in particular of its different readings as action, knowledge and others in specific contexts, rather than defeasibility of conditional forms. Building on an extension of the preferential approach to modal logics, we introduce new modal osperators with which to formalise the notion of defeasible (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  11.  1
    Logics for Extended Distributive Contact Lattices.T. Ivanova - 2018 - Journal of Applied Non-Classical Logics 28 (1):140-162.
    The notion of contact algebra is one of the main tools in the region-based theory of space. It is an extension of Boolean algebra with an additional relation C called contact. There are some problems related to the motivation of the operation of Boolean complementation. Because of this operation is dropped and the language of distributive lattices is extended by considering as non-definable primitives the relations of contact, nontangential inclusion and dual contact. It is obtained an axiomatization of the theory (...)
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography  
  12.  8
    Frames for Fusions of Modal Logics.Sławomir Kost - 2018 - Journal of Applied Non-Classical Logics 28 (1):1-19.
    Let us consider multimodal logics and. We assume that is characterised by a class of connected frames, and there exists an -frame with a so-called -starting point. Similarly, the logic is characterised by a class of connected frames, and there exists an -frame with a -starting point. Using isomorphic copies of the frames and, we construct a connected frame which characterises the fusion. The frame thus obtained has some useful properties. Among others, is countable if both and are countable, and (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  13.  4
    An Independent Axiomatisation for Free Short-Circuit Logic.Alban Ponse & Daan J. C. Staudt - 2018 - Journal of Applied Non-Classical Logics 28 (1):35-71.
    Short-circuit evaluation denotes the semantics of propositional connectives in which the second argument is evaluated only if the first argument does not suffice to determine the value of the expression. Free short-circuit logic is the equational logic in which compound statements are evaluated from left to right, while atomic evaluations are not memorised throughout the evaluation, i.e. evaluations of distinct occurrences of an atom in a compound statement may yield different truth values. We provide a simple semantics for free short-circuit (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  14.  7
    Bi-Intuitionistic Implication Structures.Daniel Skurt - 2018 - Journal of Applied Non-Classical Logics 28 (1):20-34.
    In this contribution, we will present some results concerning the connectives of bi-intuitionistic logic in the setting of Arnold Koslow’s implication structures. Furthermore, we will present soundness and completeness results of Koslow’s implication structures with respect to bi-intuitionistic logic.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
 Previous issues
  
Next issues