5 found
Order:
  1.  3
    Metody refutacyjne w badaniach nad systemami logicznymi.Robert Sochacki - 2010 - Opole: Uniwersytet Opolski.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  2.  19
    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   4 citations  
  3.  25
    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  
  4.  87
    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  
  5.  19
    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