Order:
  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.  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  
  5.  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