Switch to: References

Add citations

You must login to add citations.
  1. Is Classical Mathematics Appropriate for Theory of Computation?Farzad Didehvar - manuscript
    Throughout this paper, we are trying to show how and why our Mathematical frame-work seems inappropriate to solve problems in Theory of Computation. More exactly, the concept of turning back in time in paradoxes causes inconsistency in modeling of the concept of Time in some semantic situations. As we see in the first chapter, by introducing a version of “Unexpected Hanging Paradox”,first we attempt to open a new explanation for some paradoxes. In the second step, by applying this paradox, it (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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  
  • Extensions of Paraconsistent Weak Kleene Logic.Francesco Paoli & Michele Pra Baldi - forthcoming - Logic Journal of the IGPL.
    Paraconsistent weak Kleene logic is the $3$-valued logic based on the weak Kleene matrices and with two designated values. In this paper, we investigate the poset of prevarieties of generalized involutive bisemilattices, focussing in particular on the order ideal generated by Α$\textrm{lg} $. Applying to this poset a general result by Alexej Pynko, we prove that, exactly like Priest’s logic of paradox, $\textrm{PWK}$ has only one proper nontrivial extension apart from classical logic: $\textrm{PWK}_{\textrm{E}}\textrm{,}$ PWK logic plus explosion. This $6$-valued logic, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Logics of Left Variable Inclusion and Płonka Sums of Matrices.S. Bonzio, T. Moraschini & M. Pra Baldi - forthcoming - Archive for Mathematical Logic:1-28.
    The paper aims at studying, in full generality, logics defined by imposing a variable inclusion condition on a given logic \. We prove that the description of the algebraic counterpart of the left variable inclusion companion of a given logic \ is related to the construction of Płonka sums of the matrix models of \. This observation allows to obtain a Hilbert-style axiomatization of the logics of left variable inclusion, to describe the structure of their reduced models, and to locate (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Dualities for Płonka Sums.Stefano Bonzio - 2018 - Logica Universalis 12 (3-4):327-339.
    Płonka sums consist of an algebraic construction similar, in some sense, to direct limits, which allows to represent classes of algebras defined by means of regular identities. Recently, Płonka sums have been connected to logic, as they provide algebraic semantics to logics obtained by imposing a syntactic filter to given logics. In this paper, I present a very general topological duality for classes of algebras admitting a Płonka sum representation in terms of dualisable algebras.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Generalized Correspondence Analysis for Three-Valued Logics.Yaroslav Petrukhin - 2018 - Logica Universalis 12 (3-4):423-460.
    Correspondence analysis is Kooi and Tamminga’s universal approach which generates in one go sound and complete natural deduction systems with independent inference rules for tabular extensions of many-valued functionally incomplete logics. Originally, this method was applied to Asenjo–Priest’s paraconsistent logic of paradox LP. As a result, one has natural deduction systems for all the logics obtainable from the basic three-valued connectives of LP -language) by the addition of unary and binary connectives. Tamminga has also applied this technique to the paracomplete (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation