Year:

  1.  14
    Grounding Rules for (Relevant) Implication.Francesca Poggiolesi - 2020 - Journal of Applied Non-Classical Logics 31 (1):26-55.
    In Poggiolesi [. Grounding principles for implication. Synthese, 1–28], a definition of the notion of grounding in the background of a relevant framework has been introduced; this...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  5
    Epistemic Space of Degradation Processes.Liu Yang & Antoine Rauzy - 2020 - Journal of Applied Non-Classical Logics 31 (1):1-25.
    In this article, we present a new approach of modelling epistemic uncertainties in degradation processes. This approach is established in the framework of finite degradation structures, whic...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. Metainferential Duality.Bruno Da Ré, Federico Pailos, Damian Szmuc & Paula Teijeiro - 2020 - Journal of Applied Non-Classical Logics 30 (4):312-334.
    The aim of this article is to discuss the extent to which certain substructural logics are related through the phenomenon of duality. Roughly speaking, metainferences are inferences between collect...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  5
    Logics of Variable Inclusion and the Lattice of Consequence Relations.Michele Pra Baldi - 2020 - Journal of Applied Non-Classical Logics 30 (4):367-381.
    In this paper, first, we determine the number of sublogics of variable inclusion of an arbitrary finitary logic ⊢ with a composition term. Then, we investigate their position into the lattice of co...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  3
    A Basic Quasi-Boolean Logic of Intuitionistic Character.Gemma Robles - 2020 - Journal of Applied Non-Classical Logics 30 (4):291-311.
    The logic B M is Sylvan and Plumwood's minimal De Morgan logic. The aim of this paper is to investigate extensions of B M endowed with a quasi-Boolean negation of intuitionistic character included...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  4
    Algebraic Semantics for Propositional Superposition Logic.Athanassios Tzouvaras - 2020 - Journal of Applied Non-Classical Logics 30 (4):335-366.
    We provide a new semantics and a slightly different formalisation for the propositional logic with superposition introduced and studied in Tzouvaras [. Propositional superposition logic...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  2
    Atom-Canonicity in Varieties of Cylindric Algebras with Applications to Omitting Types in Multi-Modal Logic.Tarek Sayed Ahmed - 2020 - Journal of Applied Non-Classical Logics 30 (3):223-271.
    Fix 2 < n < ω and let C A n denote the class of cylindric algebras of dimension n. Roughly, C A n is the algebraic counterpart of the proof theory of first-order logic restricted to the first n var...
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8.  17
    Structural Proof Theory for First-Order Weak Kleene Logics.Andreas Fjellstad - 2020 - Journal of Applied Non-Classical Logics 30 (3):272-289.
    This paper presents a sound and complete five-sided sequent calculus for first-order weak Kleene valuations which permits not only elegant representations of four logics definable on first-order weak Kleene valuations, but also admissibility of five cut rules by proof analysis.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  9
    A Logic of Negative Trust.G. Primiero - 2020 - Journal of Applied Non-Classical Logics 30 (3):193-222.
    We present a logic to model the behaviour of an agent trusting or not trusting messages sent by another agent. The logic formalises trust as a consistency checking function with respect to currentl...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  25
    Exactly True and Non-Falsity Logics Meeting Infectious Ones.Alex Belikov & Yaroslav Petrukhin - 2020 - Journal of Applied Non-Classical Logics 30 (2):93-122.
    In this paper, we study logical systems which represent entailment relations of two kinds. We extend the approach of finding ‘exactly true’ and ‘non-falsity’ versions of four-valued logics that emerged in series of recent works [Pietz & Rivieccio (2013). Nothing but the truth. Journal of Philosophical Logic, 42(1), 125–135; Shramko (2019). Dual-Belnap logic and anything but falsehood. Journal of Logics and their Applications, 6, 413–433; Shramko et al. (2017). First-degree entailment and its relatives. Studia Logica, 105(6), 1291–1317] to the case (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  11
    On Searching Explanatory Argumentation Graphs.Régis Riveret - 2020 - Journal of Applied Non-Classical Logics 30 (2):123-192.
    Cases or examples can be often explained by the interplay of arguments in favour or against their outcomes. This paper addresses the problem of finding explanations for a collection of cases where an explanation is a labelled argumentation graph consistent with the cases, and a case is represented as a statement labelling. The focus is on semi-abstract argumentation graphs specifying attack and subargument relations between arguments, along with particular complete argument labellings taken from probabilistic argumentation where arguments can be excluded. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12.  7
    Modal Translation of Substructural Logics.Chrysafis Hartonas - 2020 - Journal of Applied Non-Classical Logics 30 (1):16-49.
    ABSTRACTIn an article dating back in 1992, Kosta Došen initiated a project of modal translations in substructural logics, aiming at generalising the well-known Gödel–McKinsey–Tarski translation of intuitionistic logic into S4. Došen's translation worked well for BCI and stronger systems, but not for systems below BCI. Dropping structural rules results in logic systems without distribution. In this article, we show, via translation, that every substructural logic is a fragment of a corresponding sorted, residuated modal logic. At the conceptual and philosophical level, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  1
    Axiomatization of Non-Associative Generalisations of Hájek's BL and psBL.Yaroslav Petrukhin - 2020 - Journal of Applied Non-Classical Logics 30 (1):1-15.
    ABSTRACTIn this paper, we consider non-associative generalisations of Hájek's logics BL and psBL. As it was shown by Cignoli, Esteva, Godo, and Torrens, the former is the logic of continuous t-norms and their residua. Botur introduced logic naBL which is the logic of non-associative continuous t-norms and their residua. Thus, naBL can be viewed as a non-associative generalisation of BL. However, Botur has not presented axiomatization of naBL. We fill this gap by constructing an adequate Hilbert-style calculus for naBL. Although, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  1
    The Logic of Modal Changes LMC.Marcin Łyczak - 2020 - Journal of Applied Non-Classical Logics 30 (1):50-67.
    ABSTRACTThe logic of change formulated by K. Świętorzecka, has its motivation coming from the Aristotelian theory of substantial change which is undrstood as a transformation consisting in the disappearing and becoming of individual substances. The transition: becoming/disapearing is expressed in by the primitive operator C, to be read: it changes that …, and it is mapped by the progressively expanding language. We are interested in attributive changes of individual substances. We consider a formalism with two non-normal and not mutually definable (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
 Previous issues
  
Next issues