9 found
Sort by:
  1. Szymon Frankowski (2011). Partial and Intuitionistic Logic. Bulletin of the Section of Logic 40 (3/4):179-188.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Szymon Frankowski (2011). Syntactic Properties of P-Consequence. Logic and Logical Philosophy 20 (4):285-295.
    p-consequence is intended as a formalization of non-deductive reasoning. So far semantical or general properties have been presented more thoroughly ([2]–[5]). In the present paper we would like to focus on its syntactic properties.
    Direct download (11 more)  
     
    My bibliography  
     
    Export citation  
  3. Szymon Frankowski (2010). Biconsequences. Logic and Logical Philosophy 19 (4):353-364.
    p-consequence (plausible consequence; see [2]) allows for a formulation of non-deductive reasonings, i.e., such where the conclusion has weaker justification then assumptions and thus when added to the set of assumptions results in its extension. But theoretical modesty of p-consequence operation does not tell the difference between “good” and “worse” conclusions. Therefore the bisconsequence is introduced.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Szymon Frankowski (2009). Bisimulations and P-Morphisms. Bulletin of the Section of Logic 38 (3/4):229-235.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Szymon Frankowski (2008). Plausible Reasoning Expressed by P-Consequence. Bulletin of the Section of Logic 37 (3-4):161-170.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Szymon Frankowski (2007). Pure Strict Implication Logics. Bulletin of the Section of Logic 36 (1/2):59-65.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Szymon Frankowski (2006). Definable Classes of Many Valued Kripke Frames. Bulletin of the Section of Logic 35 (1):27-36.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Szymon Frankowski (2006). General Approach to Many Valued Kripke Models. Bulletin of the Section of Logic 35 (1):11-26.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. Szymon Frankowski (2004). P-Consequence Versus Q-Consequence Operations. Bulletin of the Section of Logic 33 (4):197-207.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation