-
Neighbourhood semantics and generalized Kripke modelss. 2 - 8CZYSTY TEKST
Bernd Dahn, Neighbourhood semantics and generalized Kripke models, Bulletin of the Section of Logic, 1976 / Tom 5 / Numer 1, s. 2 - 8
BIBTEX@Article{ authors = " Bernd Dahn", title = "Neighbourhood semantics and generalized Kripke models", journal = "Bulletin of the Section of Logic", issue = "1976 / Tom 5 / Numer 1", pages = "2 - 8" }
-
Some remarks on three-valued implicative sentential calculis. 9 - 12CZYSTY TEKST
Teresa Zakrzewska, Some remarks on three-valued implicative sentential calculi, Bulletin of the Section of Logic, 1976 / Tom 5 / Numer 1, s. 9 - 12
BIBTEX@Article{ authors = " Teresa Zakrzewska", title = "Some remarks on three-valued implicative sentential calculi", journal = "Bulletin of the Section of Logic", issue = "1976 / Tom 5 / Numer 1", pages = "9 - 12" }
-
The modal system S3 and SCIs. 13 - 15CZYSTY TEKST
The modal system S3 and SCI, Bulletin of the Section of Logic, 1976 / Tom 5 / Numer 1, s. 13 - 15
BIBTEX@Article{ authors = "", title = "The modal system S3 and SCI", journal = "Bulletin of the Section of Logic", issue = "1976 / Tom 5 / Numer 1", pages = "13 - 15" }
-
Complete systems of indexical logics. 16 - 19CZYSTY TEKST
Complete systems of indexical logic, Bulletin of the Section of Logic, 1976 / Tom 5 / Numer 1, s. 16 - 19
BIBTEX@Article{ authors = "", title = "Complete systems of indexical logic", journal = "Bulletin of the Section of Logic", issue = "1976 / Tom 5 / Numer 1", pages = "16 - 19" }
-
Classically axiomatizable modal propositional calculi containing the system T of Feys-von Wrights. 20 - 24CZYSTY TEKST
Wiesław Dziobiak, Classically axiomatizable modal propositional calculi containing the system T of Feys-von Wright, Bulletin of the Section of Logic, 1976 / Tom 5 / Numer 1, s. 20 - 24
BIBTEX@Article{ authors = " Wiesław Dziobiak", title = "Classically axiomatizable modal propositional calculi containing the system T of Feys-von Wright", journal = "Bulletin of the Section of Logic", issue = "1976 / Tom 5 / Numer 1", pages = "20 - 24" }
-
Characterization of finitely axiomatizable sets on the basis of a system of the propositional calculuss. 25 - 28CZYSTY TEKST
Characterization of finitely axiomatizable sets on the basis of a system of the propositional calculus, Bulletin of the Section of Logic, 1976 / Tom 5 / Numer 1, s. 25 - 28
BIBTEX@Article{ authors = "", title = "Characterization of finitely axiomatizable sets on the basis of a system of the propositional calculus", journal = "Bulletin of the Section of Logic", issue = "1976 / Tom 5 / Numer 1", pages = "25 - 28" }
-
On Lindenbaum's algebras of finite implicational Lukasiewicz's logicss. 29 - 32CZYSTY TEKST
On Lindenbaum's algebras of finite implicational Lukasiewicz's logics, Bulletin of the Section of Logic, 1976 / Tom 5 / Numer 1, s. 29 - 32
BIBTEX@Article{ authors = "", title = "On Lindenbaum's algebras of finite implicational Lukasiewicz's logics", journal = "Bulletin of the Section of Logic", issue = "1976 / Tom 5 / Numer 1", pages = "29 - 32" }
-
Undecidability of some logical extensions of Ajdukiewicz-Lambek calculuss. 33 - 37CZYSTY TEKST
Wojciech Buszkowski, Undecidability of some logical extensions of Ajdukiewicz-Lambek calculus, Bulletin of the Section of Logic, 1976 / Tom 5 / Numer 1, s. 33 - 37
BIBTEX@Article{ authors = " Wojciech Buszkowski", title = "Undecidability of some logical extensions of Ajdukiewicz-Lambek calculus", journal = "Bulletin of the Section of Logic", issue = "1976 / Tom 5 / Numer 1", pages = "33 - 37" }
