17 found
Order:
  1.  11
    Tadeusz Prucnal & Andrzej Wronski (1974). An Algebraic Characterization of the Notion of Structural Completeness. Bulletin of the Section of Logic 3 (1):30-33.
    Direct download  
     
    Export citation  
     
    My bibliography   18 citations  
  2.  20
    Tadeusz Prucnal (1978). On Friedman's Problem in Mathematical Logic. Bulletin of the Section of Logic 7 (3):137-140.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  3.  13
    Tadeusz Prucnal (1983). Topological Representation of Atomic Co-Diagonalizable Algebras. Bulletin of the Section of Logic 12 (2):71-72.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  4.  9
    Tadeusz Prucnal (1979). On Two Problems of Harvey Friedman. Studia Logica 38 (3):247 - 262.
    The paper considers certain properties of intermediate and moda propositional logics.The first part contains a proof of the theorem stating that each intermediate logic is closed under the Kreisel-Putnam rule xyz/(xy)(xz).
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  5.  10
    Kazimiera Dyrda & Tadeusz Prucnal (1980). On Finitely Based Consequence Determined by a Distributive Lattice. Bulletin of the Section of Logic 9 (2):60-64.
  6.  16
    Tadeusz Prucnal (1975). Structural Completeness and the Disjunction Property of Intermediate Logics. Bulletin of the Section of Logic 4 (2):72-73.
    In this paper it is shown that there exist a structural complete interme- diate logics with the disjunction property, which was previously conjectured by H. Friedman. The intermedi.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  7.  10
    Tadeusz Prucnal (1990). Logics of Relational Systems. Bulletin of the Section of Logic 19 (2):58-60.
    Direct download  
     
    Export citation  
     
    My bibliography  
  8.  13
    Tadeusz Prucnal (1972). On the Structural Completeness of Some Pure Implicational Propositional Calculi. Studia Logica 30 (1):45 - 52.
  9.  6
    Tadeusz Prucnal (1983). Structural Completeness of Some Fragments of Intermediate Logics. Bulletin of the Section of Logic 12 (1):41-43.
    Direct download  
     
    Export citation  
     
    My bibliography  
  10.  10
    Tadeusz Prucnal (1985). On Finitely E-Based Consequence Determined by Wronski's Matrix. Bulletin of the Section of Logic 14 (1):15-18.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  11.  2
    Tadeusz Prucnal (1968). Kryterium definiowalności funkcji w matrycach ŀukasiewicza. Studia Logica 23 (1):71-76.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12.  18
    Tadeusz Prucnal (1968). Kryterium Definiowalności Funkcji W Matrycach Ŀukasiewicza. Studia Logica 23 (1):71 - 77.
  13.  6
    Tadeusz Prucnal (1973). Proof of Structural Completeness of a Certain Class of Implicative Propositional Calculi. Studia Logica 32 (1):93 - 97.
  14.  8
    Tadeusz Prucnal (1974). Interpretations of Classical Implicational Sentential Calculus in Nonclassical Implicational Calculi. Studia Logica 33 (1):59 - 64.
  15.  14
    Tadeusz Prucnal (1967). Dowód Aksjomatyzowalności Trójwartościowego Implikacyjnego Rachunku Zdań Łukasiewicza. Studia Logica 20 (1):133 - 144.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  16.  6
    Tadeusz Prucnal (1966). A Proof of Completeness of the Three-Valuedc-N Sentential Calculus of Łukasiewicz. Studia Logica 18 (1):65 - 72.
  17. Tadeusz Prucnal (1966). A Proof of Completeness of the Three-valuedC-N Sentential Calculus of Łukasiewicz. Studia Logica 18 (1):65-70.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography