Zdzisław Dywan
14 artykuły w 1 czasopismach
-
On a certain method of producing logical matrices Opublikowano w: Bulletin of the Section of Logic 1985 / Tom 14 / Numer 1 / s. 2 - 51985CZYSTY TEKST
Zdzisław Dywan, On a certain method of producing logical matrices, Bulletin of the Section of Logic, 1985 / Tom 14 / Numer 1, s. 2 - 5
BIBTEX@Article{ authors = " Zdzisław Dywan", title = "On a certain method of producing logical matrices", journal = "Bulletin of the Section of Logic", issue = "1985 / Tom 14 / Numer 1", pages = "2 - 5" }
-
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 - 121985CZYSTY TEKST
Zdzisław Dywan, A new variant of the Godel-Malcev theorem for the classical propositional calculus, Bulletin of the Section of Logic, 1985 / Tom 14 / Numer 1, s. 8 - 12
BIBTEX@Article{ authors = " Zdzisław Dywan", title = "A new variant of the Godel-Malcev theorem for the classical propositional calculus", journal = "Bulletin of the Section of Logic", issue = "1985 / Tom 14 / Numer 1", pages = "8 - 12" }
-
On some method of axiomatization of some propositional calculi Opublikowano w: Bulletin of the Section of Logic 1986 / Tom 15 / Numer 2 / s. 52 - 591986CZYSTY TEKST
Zdzisław Dywan, On some method of axiomatization of some propositional calculi, Bulletin of the Section of Logic, 1986 / Tom 15 / Numer 2, s. 52 - 59
BIBTEX@Article{ authors = " Zdzisław Dywan", title = "On some method of axiomatization of some propositional calculi", journal = "Bulletin of the Section of Logic", issue = "1986 / Tom 15 / Numer 2", pages = "52 - 59" }
-
Finite structural axiomatization of every finite-valued propositional calculus Opublikowano w: Bulletin of the Section of Logic 1979 / Tom 8 / Numer 2 / s. 61 - 671979CZYSTY TEKST
Zdzisław Dywan, Finite structural axiomatization of every finite-valued propositional calculus, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 2, s. 61 - 67
BIBTEX@Article{ authors = " Zdzisław Dywan", title = "Finite structural axiomatization of every finite-valued propositional calculus", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 2", pages = "61 - 67" }
-
Dual counterparts of strongly finite consequence Opublikowano w: Bulletin of the Section of Logic 1978 / Tom 7 / Numer 2 / s. 751978CZYSTY TEKST
Zdzisław Dywan, Dual counterparts of strongly finite consequence, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 2, s. 75
BIBTEX@Article{ authors = " Zdzisław Dywan", title = "Dual counterparts of strongly finite consequence", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 2", pages = "75" }
-
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 - 911984CZYSTY TEKST
Zdzisław Dywan, An interpretation of Aristotle's syllogistic and a certain fragment of set theory in propositional calculi, Bulletin of the Section of Logic, 1984 / Tom 13 / Numer 2, s. 85 - 91
BIBTEX@Article{ authors = " Zdzisław Dywan", title = "An interpretation of Aristotle's syllogistic and a certain fragment of set theory in propositional calculi", journal = "Bulletin of the Section of Logic", issue = "1984 / Tom 13 / Numer 2", pages = "85 - 91" }
-
On Lemmon's interpretations of the connective of necessity Opublikowano w: Bulletin of the Section of Logic 1984 / Tom 13 / Numer 2 / s. 92 - 981984CZYSTY TEKST
Zdzisław Dywan, On Lemmon's interpretations of the connective of necessity, Bulletin of the Section of Logic, 1984 / Tom 13 / Numer 2, s. 92 - 98
BIBTEX@Article{ authors = " Zdzisław Dywan", title = "On Lemmon's interpretations of the connective of necessity", journal = "Bulletin of the Section of Logic", issue = "1984 / Tom 13 / Numer 2", pages = "92 - 98" }
-
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 - 1101984CZYSTY TEKST
Zdzisław Dywan, An interpretation of a certain fragment of arithmetic in some propositional calculus, Bulletin of the Section of Logic, 1984 / Tom 13 / Numer 2, s. 99 - 110
BIBTEX@Article{ authors = " Zdzisław Dywan", title = "An interpretation of a certain fragment of arithmetic in some propositional calculus", journal = "Bulletin of the Section of Logic", issue = "1984 / Tom 13 / Numer 2", pages = "99 - 110" }
-
Decidability of structural completeness for strongly finite propositional calculi Opublikowano w: Bulletin of the Section of Logic 1978 / Tom 7 / Numer 3 / s. 129 - 1321978CZYSTY TEKST
Zdzisław Dywan, Decidability of structural completeness for strongly finite propositional calculi, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 3, s. 129 - 132
BIBTEX@Article{ authors = " Zdzisław Dywan", title = "Decidability of structural completeness for strongly finite propositional calculi", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 3", pages = "129 - 132" }
-
A Matrix Criterion of Hallden Completeness Opublikowano w: Bulletin of the Section of Logic 2012 / Tom 41 / Numer 3-4 / s. 145 - 1482012CZYSTY TEKST
Zdzisław Dywan, A Matrix Criterion of Hallden Completeness, Bulletin of the Section of Logic, 2012 / Tom 41 / Numer 3-4, s. 145 - 148
BIBTEX@Article{ authors = " Zdzisław Dywan", title = "A Matrix Criterion of Hallden Completeness", journal = "Bulletin of the Section of Logic", issue = "2012 / Tom 41 / Numer 3-4", pages = "145 - 148" }
-
A Simple Axiomatization of Lukasiewicz's Modal Logic Opublikowano w: Bulletin of the Section of Logic 2012 / Tom 41 / Numer 3-4 / s. 149 - 1532012CZYSTY TEKST
Zdzisław Dywan, A Simple Axiomatization of Lukasiewicz's Modal Logic, Bulletin of the Section of Logic, 2012 / Tom 41 / Numer 3-4, s. 149 - 153
BIBTEX@Article{ authors = " Zdzisław Dywan", title = "A Simple Axiomatization of Lukasiewicz's Modal Logic", journal = "Bulletin of the Section of Logic", issue = "2012 / Tom 41 / Numer 3-4", pages = "149 - 153" }
-
Every two-valuated propositional calculus has the interpolation property Opublikowano w: Bulletin of the Section of Logic 1980 / Tom 9 / Numer 4 / s. 152 - 1531980CZYSTY TEKST
Zdzisław Dywan, Teodor Stępień, Every two-valuated propositional calculus has the interpolation property, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 4, s. 152 - 153
BIBTEX@Article{ authors = " Zdzisław Dywan, Teodor Stępień", title = "Every two-valuated propositional calculus has the interpolation property", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 4", pages = "152 - 153" }
-
Quasi-strongly finite sentential calculi Opublikowano w: Bulletin of the Section of Logic 1980 / Tom 9 / Numer 4 / s. 154 - 1581980CZYSTY TEKST
Zdzisław Dywan, Quasi-strongly finite sentential calculi, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 4, s. 154 - 158
BIBTEX@Article{ authors = " Zdzisław Dywan", title = "Quasi-strongly finite sentential calculi", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 4", pages = "154 - 158" }
-
The necessity of modal logic S5 is metalogical Opublikowano w: Bulletin of the Section of Logic 1981 / Tom 10 / Numer 4 / s. 162 - 1691981CZYSTY TEKST
Zdzisław Dywan, The necessity of modal logic S5 is metalogical, Bulletin of the Section of Logic, 1981 / Tom 10 / Numer 4, s. 162 - 169
BIBTEX@Article{ authors = " Zdzisław Dywan", title = "The necessity of modal logic S5 is metalogical", journal = "Bulletin of the Section of Logic", issue = "1981 / Tom 10 / Numer 4", pages = "162 - 169" }
