Order:
Disambiguations
Daniel Skurt [5]D. Skurt [1]
  1.  17
    On Definability of Connectives and Modal Logics Over FDE.Sergei P. Odintsov, Daniel Skurt & Heinrich Wansing - forthcoming - Logic and Logical Philosophy:1.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  2
    On Non-Transitive “Identity”.Heinrich Wansing & Daniel Skurt - 2019 - In Can Başkent & Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency. Springer Verlag. pp. 535-553.
    Graham Priest takes the relation of identity to be non-transitive. In this paper, we are going to discuss several consequences of identity as a non-transitive relation. We will consider the Henkin-style completeness proof for classical first-order logic with a non-transitive “identity” predicate, Leibniz-identity in Priest’s second-order minimal logic of paradox, and the question whether or not identity of individuals should be defined as Leibniz-identity.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  13
    A Note on Two’s Company: “The Humbug of Many Logical Values”.Daniel Skurt - 2017 - Logica Universalis 11 (3):401-407.
    The present note offers a proof for separating the truth-values of an arbitrary finitely many valued Łukasiewicz logic by making use of Gray codes.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  7
    Neighbourhood Semantics for FDE-Based Modal Logics.S. Drobyshevich & D. Skurt - 2021 - Studia Logica 109 (6):1273-1309.
    We investigate some non-normal variants of well-studied paraconsistent and paracomplete modal logics that are based on N. Belnap’s and M. Dunn’s four-valued logic. Our basic non-normal modal logics are characterized by a weak extensionality rule, which reflects the four-valued nature of underlying logics. Aside from introducing our basic framework of bi-neighbourhood semantics, we develop a correspondence theory in order to prove completeness results with respect to our neighbourhood semantics for non-normal variants of \, \ and \.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  16
    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  
     
    Bookmark  
  6.  15
    FDE Circumscription.Daniel Skurt - 2017 - Australasian Journal of Logic 14 (2).
    In his article "Reassurance via Translation" Marcel Crabbe proposed a formalism to obtain reassurance and classical recapture in the setting of minimal FDE. His formalism proved to be general enough to be extended in order to formalize other forms of non-monotonic systems based on preference relations. It is the aim of this article to show how his result can be extended in a natural way by combining two different reasoning systems, namely minimal FDE and circumscription, in order to get a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark