15 found
Sort by:
  1. Tadeusz Prucnal (1990). Logics of Relational Systems. Bulletin of the Section of Logic 19 (2):58-60.
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. 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  
     
    My bibliography  
     
    Export citation  
  3. Tadeusz Prucnal (1983). Structural Completeness of Some Fragments of Intermediate Logics. Bulletin of the Section of Logic 12 (1):41-43.
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Tadeusz Prucnal (1983). Topological Representation of Atomic Co-Diagonalizable Algebras. Bulletin of the Section of Logic 12 (2):71-72.
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. 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. 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)  
     
    My bibliography  
     
    Export citation  
  7. Tadeusz Prucnal (1978). On Friedman's Problem in Mathematical Logic. Bulletin of the Section of Logic 7 (3):137-140.
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. 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  
     
    My bibliography  
     
    Export citation  
  9. Tadeusz Prucnal (1974). Interpretations of Classical Implicational Sentential Calculus in Nonclassical Implicational Calculi. Studia Logica 33 (1):59 - 64.
  10. 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  
     
    My bibliography  
     
    Export citation  
  11. Tadeusz Prucnal (1973). Proof of Structural Completeness of a Certain Class of Implicative Propositional Calculi. Studia Logica 32 (1):93 - 97.
  12. Tadeusz Prucnal (1972). On the Structural Completeness of Some Pure Implicational Propositional Calculi. Studia Logica 30 (1):45 - 52.
  13. Tadeusz Prucnal (1968). Kryterium Definiowalności Funkcji W Matrycach Ŀukasiewicza. Studia Logica 23 (1):71 - 77.
  14. Tadeusz Prucnal (1967). Dowód Aksjomatyzowalności Trójwartościowego Implikacyjnego Rachunku Zdań Łukasiewicza. Studia Logica 20 (1):133 - 144.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  15. Tadeusz Prucnal (1966). A Proof of Completeness of the Three-Valuedc-N Sentential Calculus of Łukasiewicz. Studia Logica 18 (1):65 - 72.