Wyniki
-
On Friedman's problem in mathematical logic
Tadeusz Prucnal
Bulletin of the Section of Logic , 7 /3 (1978) s. 137-140 -
On Diodorean theories
Tadeusz Kubiński
Bulletin of the Section of Logic , 11 /1-2 (1982) s. 31-34 -
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 -
Some Notes of Superintuitionistic Logic of Chequered Subsets of Rω
Tadeusz Litak
Bulletin of the Section of Logic , 33 /2 (2004) s. 81-86 -
The Non-reflexive Counterpart of Grz
Tadeusz Litak
Bulletin of the Section of Logic , 36 /3-4 (2007) s. 195-208 -
On Logics of Deeds
Tadeusz Kubiński
Bulletin of the Section of Logic , 1 /1 (1972) s. 23-31 -
On finitely based consequence determined by a distributive lattice
Kazimiera Dyrda, Tadeusz Prucnal
Bulletin of the Section of Logic , 9 /2 (1980) s. 60-67 -
An algebraic characterization of the notion of structural completeness
Tadeusz Prucnal, Andrzej Wroński
Bulletin of the Section of Logic , 3 /1 (1974) s. 30-32