1. Zdzisław Dywan (1986). A New Variant of the Gödel-Mal'cev Theorem for the Classical Propositional Calculus and Correction to My Paper: ``The Connective of Necessity of Modal Logic ${\Rm S}_5$ is Metalogical''. Notre Dame Journal of Formal Logic 27 (4):551-555.
  2. Zdzisław Dywan (1983). The Connective of Necessity of Modal Logic S5 is Metalogical. Notre Dame Journal of Formal Logic 24 (3):410-414.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Zdzisław Dywan (1980). Finite Structural Axiomatization of Every Finite-Valued Propositional Calculus. Studia Logica 39 (1):1 - 4.
    In [2] A. Wroski proved that there is a strongly finite consequence C which is not finitely based i.e. for every consequence C + determined by a finite set of standard rules C C +. In this paper it will be proved that for every strongly finite consequence C there is a consequence C + determined by a finite set of structural rules such that C(Ø)=C +(Ø) and = (where , are consequences obtained by adding to the rules of C, (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation