Wyniki
-
Dual counterparts of strongly finite consequence
Zdzisław Dywan
Bulletin of the Section of Logic , 7 /2 (1978) s. 75 -
Decidability of structural completeness for strongly finite propositional calculi
Zdzisław Dywan
Bulletin of the Section of Logic , 7 /3 (1978) s. 129-132 -
Finite structural axiomatization of every finite-valued propositional calculus
Zdzisław Dywan
Bulletin of the Section of Logic , 8 /2 (1979) s. 61-67 -
Quasi-strongly finite sentential calculi
Zdzisław Dywan
Bulletin of the Section of Logic , 9 /4 (1980) s. 154-158 -
The necessity of modal logic S5 is metalogical
Zdzisław Dywan
Bulletin of the Section of Logic , 10 /4 (1981) s. 162-169 -
On Lemmon's interpretations of the connective of necessity
Zdzisław Dywan
Bulletin of the Section of Logic , 13 /2 (1984) s. 92-98 -
An interpretation of a certain fragment of arithmetic in some propositional calculus
Zdzisław Dywan
Bulletin of the Section of Logic , 13 /2 (1984) s. 99-110 -
On a certain method of producing logical matrices
Zdzisław Dywan
Bulletin of the Section of Logic , 14 /1 (1985) s. 2-5 -
A new variant of the Godel-Malcev theorem for the classical propositional calculus
Zdzisław Dywan
Bulletin of the Section of Logic , 14 /1 (1985) s. 8-12 -
On some method of axiomatization of some propositional calculi
Zdzisław Dywan
Bulletin of the Section of Logic , 15 /2 (1986) s. 52-59 -
A Matrix Criterion of Hallden Completeness
Zdzisław Dywan
Bulletin of the Section of Logic , 41 /3-4 (2012) s. 145-148 -
A Simple Axiomatization of Lukasiewicz's Modal Logic
Zdzisław Dywan
Bulletin of the Section of Logic , 41 /3-4 (2012) s. 149-153