15 found
Order:
  1.  14
    An Algebraic Characterization of the Notion of Structural Completeness.Tadeusz Prucnal & Andrzej Wronski - 1974 - Bulletin of the Section of Logic 3 (1):30-33.
    Direct download  
     
    Export citation  
     
    My bibliography   18 citations  
  2.  26
    Kryterium definiowalności funkcji w matrycach ŀukasiewicza.Tadeusz Prucnal - 1968 - Studia Logica 23 (1):71-76.
    Translate
      Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  3.  9
    On Two Problems of Harvey Friedman.Tadeusz Prucnal - 1979 - 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  
  4.  21
    On Friedman's Problem in Mathematical Logic.Tadeusz Prucnal - 1978 - Bulletin of the Section of Logic 7 (3):137-140.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  5.  15
    Topological Representation of Atomic Co-Diagonalizable Algebras.Tadeusz Prucnal - 1983 - Bulletin of the Section of Logic 12 (2):71-72.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  6.  17
    On the Structural Completeness of Some Pure Implicational Propositional Calculi.Tadeusz Prucnal - 1972 - Studia Logica 30 (1):45 - 52.
  7.  12
    A Proof of Completeness of the Three-valuedC-N Sentential Calculus of Łukasiewicz.Tadeusz Prucnal - 1966 - Studia Logica 18 (1):65-70.
  8.  18
    Structural Completeness and the Disjunction Property of Intermediate Logics.Tadeusz Prucnal - 1975 - 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  
  9.  11
    On Finitely Based Consequence Determined by a Distributive Lattice.Kazimiera Dyrda & Tadeusz Prucnal - 1980 - Bulletin of the Section of Logic 9 (2):60-64.
  10.  10
    Proof of Structural Completeness of a Certain Class of Implicative Propositional Calculi.Tadeusz Prucnal - 1973 - Studia Logica 32 (1):93 - 97.
  11.  10
    Logics of Relational Systems.Tadeusz Prucnal - 1990 - Bulletin of the Section of Logic 19 (2):58-60.
    Direct download  
     
    Export citation  
     
    My bibliography  
  12.  12
    Interpretations of Classical Implicational Sentential Calculus in Nonclassical Implicational Calculi.Tadeusz Prucnal - 1974 - Studia Logica 33 (1):59 - 64.
  13.  7
    Structural Completeness of Some Fragments of Intermediate Logics.Tadeusz Prucnal - 1983 - Bulletin of the Section of Logic 12 (1):41-43.
  14.  10
    On Finitely E-Based Consequence Determined by Wronski's Matrix.Tadeusz Prucnal - 1985 - Bulletin of the Section of Logic 14 (1):15-18.
    Direct download  
     
    Export citation  
     
    My bibliography  
  15.  18
    Dowód Aksjomatyzowalności Trójwartościowego Implikacyjnego Rachunku Zdań Łukasiewicza.Tadeusz Prucnal - 1967 - Studia Logica 20 (1):133 - 144.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography