Switch to: References

Add citations

You must login to add citations.
  1. Kripke-style semantics for Jaskowski's system qf.Max Urchs - 1981 - Bulletin of the Section of Logic 10 (1):24-28.
    Classical logic, intuitionism, relevant logics and many other systems try to express implication as an entailment. The Jaskowski system Qf describes implication in connection with causality. Syntactic properties of Qf have been examined by Pieczkowski [4], [5]. The semantic characterization of Qf is the aim of this paper.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On the definitive implication.August Pieczkowski - 1971 - Studia Logica 27 (1):101 - 116.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Causal implications of Jaśkowski.August Pieczkowski - 1975 - Studia Logica 34 (2):169-185.
    Part 1 describes Stanisaw Jakowski's concept of defining some often used con ditionals, namely, factorial, ewfficient and definitive implications.Part 2 contains the results strictly connected with the theory of the above implications.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • The efficient implication.August Pieczkowski - 1968 - Studia Logica 23 (1):7 - 23.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • (1 other version)Zusammenhang zwischen der Theorie F der Faktorenimplikation und der Theorie der Zylinderalgebren, Reduktion der Vollständigkeit der Axiome von F.August Plattner - 1990 - Mathematical Logic Quarterly 36 (6):561-572.
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Zusammenhang zwischen der TheorieF der Faktorenimplikation und der Theorie der Zylinderalgebren, Reduktion der Vollständigkeit der Axiome vonF.August Plattner - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (6):561-572.
    Download  
     
    Export citation  
     
    Bookmark