-
Towards a formal semioticss. 44 - 49CZYSTY TEKST
Marek Tokarz, Towards a formal semiotics, Bulletin of the Section of Logic, 1984 / Tom 13 / Numer 2, s. 44 - 49
BIBTEX@Article{ authors = " Marek Tokarz", title = "Towards a formal semiotics", journal = "Bulletin of the Section of Logic", issue = "1984 / Tom 13 / Numer 2", pages = "44 - 49" }
-
On the degree of matrix complexitys. 50 - 54CZYSTY TEKST
Jacek Hawranek, On the degree of matrix complexity, Bulletin of the Section of Logic, 1984 / Tom 13 / Numer 2, s. 50 - 54
BIBTEX@Article{ authors = " Jacek Hawranek", title = "On the degree of matrix complexity", journal = "Bulletin of the Section of Logic", issue = "1984 / Tom 13 / Numer 2", pages = "50 - 54" }
-
T-norms and φ-operators as truth functions of many valued connectivess. 55 - 59CZYSTY TEKST
Siegfried Gottwald, T-norms and φ-operators as truth functions of many valued connectives, Bulletin of the Section of Logic, 1984 / Tom 13 / Numer 2, s. 55 - 59
BIBTEX@Article{ authors = " Siegfried Gottwald", title = "T-norms and φ-operators as truth functions of many valued connectives", journal = "Bulletin of the Section of Logic", issue = "1984 / Tom 13 / Numer 2", pages = "55 - 59" }
-
Deontic detachments. 60 - 63CZYSTY TEKST
Ingmar Porn, Deontic detachment, Bulletin of the Section of Logic, 1984 / Tom 13 / Numer 2, s. 60 - 63
BIBTEX@Article{ authors = " Ingmar Porn", title = "Deontic detachment", journal = "Bulletin of the Section of Logic", issue = "1984 / Tom 13 / Numer 2", pages = "60 - 63" }
-
Characterization of prime numbers by Lukasiewicz's many-valued logicss. 64 - 68CZYSTY TEKST
Alexander S. Karpenko, Characterization of prime numbers by Lukasiewicz's many-valued logics, Bulletin of the Section of Logic, 1984 / Tom 13 / Numer 2, s. 64 - 68
BIBTEX@Article{ authors = " Alexander S. Karpenko", title = "Characterization of prime numbers by Lukasiewicz's many-valued logics", journal = "Bulletin of the Section of Logic", issue = "1984 / Tom 13 / Numer 2", pages = "64 - 68" }
-
The program-substitution in algorithmic logic and algorithmic logic with non-deterministic programss. 69 - 74CZYSTY TEKST
Andrzej Biela, The program-substitution in algorithmic logic and algorithmic logic with non-deterministic programs, Bulletin of the Section of Logic, 1984 / Tom 13 / Numer 2, s. 69 - 74
BIBTEX@Article{ authors = " Andrzej Biela", title = "The program-substitution in algorithmic logic and algorithmic logic with non-deterministic programs", journal = "Bulletin of the Section of Logic", issue = "1984 / Tom 13 / Numer 2", pages = "69 - 74" }
-
Gentzen-style axiomatization of tense logics. 75 - 84CZYSTY TEKST
Kazimierz Trzesicki, Gentzen-style axiomatization of tense logic, Bulletin of the Section of Logic, 1984 / Tom 13 / Numer 2, s. 75 - 84
BIBTEX@Article{ authors = " Kazimierz Trzesicki", title = "Gentzen-style axiomatization of tense logic", journal = "Bulletin of the Section of Logic", issue = "1984 / Tom 13 / Numer 2", pages = "75 - 84" }
-
An interpretation of Aristotle's syllogistic and a certain fragment of set theory in propositional calculis. 85 - 91CZYSTY 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 necessitys. 92 - 98CZYSTY 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 calculuss. 99 - 110CZYSTY 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" }