23 found
Order:
Disambiguations
Tadeusz Prucnal [17]T. Prucnal [8]
  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.  38
    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.  48
    Some remarks on three-valued logic of J. łukasiewicz.J. Słupecki, G. Bryll & T. Prucnal - 1967 - Studia Logica 21 (1):45 - 70.
  5.  24
    Proof of structural completeness of a certain class of implicative propositional calculi.Tadeusz Prucnal - 1973 - Studia Logica 32 (1):93 - 97.
  6.  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.
  7.  17
    Structural completeness of the first‐order predicate calculus.W. A. Pogorzelski & T. Prucnal - 1975 - Mathematical Logic Quarterly 21 (1):315-320.
  8.  10
    Structural completeness of some fragments of intermediate logics.Tadeusz Prucnal - 1983 - Bulletin of the Section of Logic 12 (1):41-43.
  9.  19
    Topological representation of atomic co-diagonalizable algebras.Tadeusz Prucnal - 1983 - Bulletin of the Section of Logic 12 (2):71-72.
  10.  23
    A definability criterion for the functions in łukasiewicz's matrices.T. Prucnal - 1968 - Studia Logica 23 (1):77-77.
  11.  33
    A proof of axiomatizability of łukasiewicz’s three-valued implicational propositional calculus.T. Prucnal - 1967 - Studia Logica 20 (1):144-144.
    LetL 3 c be the smallest set of propositional formulas, which containsCpCqpCCCpqCrqCCqpCrpCCCpqCCqrqCCCpqppand is closed with respect to substitution and detachment. Let $\mathfrak{M}_3^c $ be Łukasiewicz’s three-valued implicational matrix defined as follows:cxy=min (1,1−x+y), where $x,y \in \{ 0,\tfrac{1}{2},1\}$ . In this paper the following theorem is proved: $$L_3^c = E( \mathfrak{M}_3^c )$$ The idea used in the proof is derived from Asser’s proof of completeness of the two-valued propositional calculus. The proof given here is based on the Pogorzelski’s deduction theorem fork-valued (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  30
    A proof of completeness of the three-valuedC-N sentential calculus of Łukasiewicz.Tadeusz Prucnal - 1966 - Studia Logica 18 (1):65-70.
  13.  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  
  14.  24
    Dowód pełności trójwartościowego, implikacyjno-negacyjnego rachunku zdań łukasiewicza.T. Prucnal - 1966 - Studia Logica 18 (1):71-71.
  15.  21
    Dowód strukturalnej zupełności pewnej klasy implikacyjnych rachunków zdaniowych.T. Prucnal - 1973 - Studia Logica 32 (1):97-97.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  30
    Interpretations of classical implicational sentential calculus in nonclassical implicational calculi.Tadeusz Prucnal - 1974 - Studia Logica 33 (1):59 - 64.
  17.  37
    Kryterium definiowalności funkcji w matrycach ŀukasiewicza.Tadeusz Prucnal - 1968 - Studia Logica 23 (1):71-76.
  18.  14
    Logics of relational systems.Tadeusz Prucnal - 1990 - Bulletin of the Section of Logic 19 (2):58-60.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  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  
  20.  26
    On Friedman's problem in mathematical logic.Tadeusz Prucnal - 1978 - Bulletin of the Section of Logic 7 (3):137-140.
  21.  13
    O strukturalnej zupełności pewnych implikacyjnych rachunków zdaniowych.T. Prucnal - 1972 - Studia Logica 30 (1):51-51.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  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  
  23.  31
    Kilka uwag O logice trójwartościowej łukasiewicza.J. Słupecki, G. Bryll & T. Prucnal - 1967 - Studia Logica 21 (1):67-68.