Zdzisław Dywan
14 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
On a certain method of producing logical matrices Opublikowano w: Bulletin of the Section of Logic 1985 / Tom 14 / Numer 1 / s. 2 - 5ROK: 1985CZYSTY TEKSTBIBTEX
-
A new variant of the Godel-Malcev theorem for the classical propositional calculus Opublikowano w: Bulletin of the Section of Logic 1985 / Tom 14 / Numer 1 / s. 8 - 12ROK: 1985CZYSTY TEKSTBIBTEX
-
On some method of axiomatization of some propositional calculi Opublikowano w: Bulletin of the Section of Logic 1986 / Tom 15 / Numer 2 / s. 52 - 59ROK: 1986CZYSTY TEKSTBIBTEX
-
Finite structural axiomatization of every finite-valued propositional calculus Opublikowano w: Bulletin of the Section of Logic 1979 / Tom 8 / Numer 2 / s. 61 - 67ROK: 1979CZYSTY TEKSTBIBTEX
-
Dual counterparts of strongly finite consequence Opublikowano w: Bulletin of the Section of Logic 1978 / Tom 7 / Numer 2 / s. 75ROK: 1978CZYSTY TEKSTBIBTEX
-
An interpretation of Aristotle's syllogistic and a certain fragment of set theory in propositional calculi Opublikowano w: Bulletin of the Section of Logic 1984 / Tom 13 / Numer 2 / s. 85 - 91ROK: 1984CZYSTY TEKSTBIBTEX
-
On Lemmon's interpretations of the connective of necessity Opublikowano w: Bulletin of the Section of Logic 1984 / Tom 13 / Numer 2 / s. 92 - 98ROK: 1984CZYSTY TEKSTBIBTEX
-
An interpretation of a certain fragment of arithmetic in some propositional calculus Opublikowano w: Bulletin of the Section of Logic 1984 / Tom 13 / Numer 2 / s. 99 - 110ROK: 1984CZYSTY TEKSTBIBTEX
-
Decidability of structural completeness for strongly finite propositional calculi Opublikowano w: Bulletin of the Section of Logic 1978 / Tom 7 / Numer 3 / s. 129 - 132ROK: 1978CZYSTY TEKSTBIBTEX
-
A Matrix Criterion of Hallden Completeness Opublikowano w: Bulletin of the Section of Logic 2012 / Tom 41 / Numer 3-4 / s. 145 - 148ROK: 2012CZYSTY TEKSTBIBTEX
-
A Simple Axiomatization of Lukasiewicz's Modal Logic Opublikowano w: Bulletin of the Section of Logic 2012 / Tom 41 / Numer 3-4 / s. 149 - 153ROK: 2012CZYSTY TEKSTBIBTEX
-
Every two-valuated propositional calculus has the interpolation property Opublikowano w: Bulletin of the Section of Logic 1980 / Tom 9 / Numer 4 / s. 152 - 153ROK: 1980CZYSTY TEKSTBIBTEX
-
Quasi-strongly finite sentential calculi Opublikowano w: Bulletin of the Section of Logic 1980 / Tom 9 / Numer 4 / s. 154 - 158ROK: 1980CZYSTY TEKSTBIBTEX
-
The necessity of modal logic S5 is metalogical Opublikowano w: Bulletin of the Section of Logic 1981 / Tom 10 / Numer 4 / s. 162 - 169ROK: 1981CZYSTY TEKSTBIBTEX
