Wyniki
-
On Friedman's problem in mathematical logic
Tadeusz Prucnal
Bulletin of the Section of Logic , 7 /3 (1978) s. 137-140 -
Structural completeness of some fragments of intermediate logics
Tadeusz Prucnal
Bulletin of the Section of Logic , 12 /1 (1983) s. 41-49 -
Topological representation of atomic co-diagonalizable algebras
Tadeusz Prucnal
Bulletin of the Section of Logic , 12 /2 (1983) s. 71-72 -
On finitely E-based consequence determined by Wronski's matrix
Tadeusz Prucnal
Bulletin of the Section of Logic , 14 /1 (1985) s. 15-18 -
Structural completeness and the disjunction property of intermediate logics
Tadeusz Prucnal
Bulletin of the Section of Logic , 4 /2 (1975) s. 72-73 -
A note on some property of purely implicational propositional calculi
Tadeusz Prucnal
Bulletin of the Section of Logic , 19 /2 (1990) s. 49-50 -
Logics of relational systems
Tadeusz Prucnal
Bulletin of the Section of Logic , 19 /2 (1990) s. 58-60