5 found
Order:
  1. Metody Refutacyjne W Badaniach Nad Systemami Logicznymi.Robert Sochacki - 2010 - Uniwersytet Opolski.
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  2.  62
    Rejected Axioms for the “Nonsense-Logic” W and the K-Valued Logic of Sobociński.Robert Sochacki - 2008 - Logic and Logical Philosophy 17 (4):321-327.
    In this paper rejection systems for the “nonsense-logic” W and the k-valued implicational-negational sentential calculi of Sobociński are given. Considered systems consist of computable sets of rejected axioms and only one rejection rule: the rejection version of detachment rule.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  16
    Axiomatic Rejection in the Implicational-Negational Invariant Sentential Calculi of Lukasiewicz.Robert Sochacki - 2007 - Bulletin of the Section of Logic 36 (1/2):1-6.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  14
    Refutation Systems for a System of Nonsense-Logic.Robert Sochacki - 2011 - Logic and Logical Philosophy 20 (3):233-239.
    In the paper rejection systems for a system of nonsense-logic are investigated. The first rejection system consists of four rejected axioms and only one rejection rule  the rule of rejection by detachment. The second one consists of one rejected axiom and two rejection rules: the rule of rejection by detachment and the rule of rejection by substitution. The aim of the paper is to present also a proof of Ł-decidability for the considered systems.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  17
    On a Relationship Between Some Classes of Elimination Operators and Some Classes of Families of Sets.Grzegorz Bryll & Robert Sochacki - 2000 - Bulletin of the Section of Logic 29 (4):161-170.
    Direct download  
     
    Export citation  
     
    Bookmark