15 found
Order:
  1.  33
    An algebraic characterization of the notion of structural completeness.Tadeusz Prucnal & Andrzej Wronski - 1974 - Bulletin of the Section of Logic 3 (1):30-33.
  2.  37
    On the structural completeness of some pure implicational propositional calculi.Tadeusz Prucnal - 1972 - Studia Logica 30 (1):45 - 52.
  3.  36
    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 (4 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  4.  24
    Proof of structural completeness of a certain class of implicative propositional calculi.Tadeusz Prucnal - 1973 - Studia Logica 32 (1):93 - 97.
  5.  22
    On finitely based consequence determined by a distributive lattice.Kazimiera Dyrda & Tadeusz Prucnal - 1980 - Bulletin of the Section of Logic 9 (2):60-64.
  6.  10
    Structural completeness of some fragments of intermediate logics.Tadeusz Prucnal - 1983 - Bulletin of the Section of Logic 12 (1):41-43.
  7.  19
    Topological representation of atomic co-diagonalizable algebras.Tadeusz Prucnal - 1983 - Bulletin of the Section of Logic 12 (2):71-72.
  8.  30
    A proof of completeness of the three-valuedC-N sentential calculus of Łukasiewicz.Tadeusz Prucnal - 1966 - Studia Logica 18 (1):65-70.
  9.  24
    Dowód aksjomatyzowalności trójwartościowego implikacyjnego rachunku zdań łukasiewicza.Tadeusz Prucnal - 1967 - Studia Logica 20 (1):133 - 144.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10.  30
    Interpretations of classical implicational sentential calculus in nonclassical implicational calculi.Tadeusz Prucnal - 1974 - Studia Logica 33 (1):59 - 64.
  11.  37
    Kryterium definiowalności funkcji w matrycach ŀukasiewicza.Tadeusz Prucnal - 1968 - Studia Logica 23 (1):71-76.
  12.  14
    Logics of relational systems.Tadeusz Prucnal - 1990 - Bulletin of the Section of Logic 19 (2):58-60.
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  19
    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  
     
    Bookmark  
  14.  26
    On Friedman's problem in mathematical logic.Tadeusz Prucnal - 1978 - Bulletin of the Section of Logic 7 (3):137-140.
  15.  31
    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  
     
    Bookmark   1 citation