15 found
Sort by:
  1. Tadeusz Prucnal (1990). Logics of Relational Systems. Bulletin of the Section of Logic 19 (2):58-60.
    No categories
    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.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Tadeusz Prucnal (1983). Topological Representation of Atomic Co-Diagonalizable Algebras. Bulletin of the Section of Logic 12:71-72.
    No categories
    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.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  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.
    No categories
    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.
    No categories
    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.
    No categories
    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.