-
Intuitionistic implication in some non-classical modal logics of type S4s. 2 - 7CZYSTY TEKST
Josep Maria Font, Intuitionistic implication in some non-classical modal logics of type S4, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 1, s. 2 - 7
BIBTEX@Article{ authors = " Josep Maria Font", title = "Intuitionistic implication in some non-classical modal logics of type S4", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 1", pages = "2 - 7" }
-
Paraconsistency, paracompleteness and intentional contradictionss. 8 - 16CZYSTY TEKST
Hristo Smolenov, Paraconsistency, paracompleteness and intentional contradictions, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 1, s. 8 - 16
BIBTEX@Article{ authors = " Hristo Smolenov", title = "Paraconsistency, paracompleteness and intentional contradictions", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 1", pages = "8 - 16" }
-
Pretabular varieties of N-latticess. 17 - 20CZYSTY TEKST
Andrzej Sendlewski, Pretabular varieties of N-lattices, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 1, s. 17 - 20
BIBTEX@Article{ authors = " Andrzej Sendlewski", title = "Pretabular varieties of N-lattices", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 1", pages = "17 - 20" }
-
Truth-arguments and independences. 21 - 26CZYSTY TEKST
Bogusław Wolniewicz, Truth-arguments and independence, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 1, s. 21 - 26
BIBTEX@Article{ authors = " Bogusław Wolniewicz", title = "Truth-arguments and independence", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 1", pages = "21 - 26" }
-
Quasivariety generated by a finite Sugihara structure has finitely many subquasivarietiess. 27 - 31CZYSTY TEKST
Wiesław Dziobiak, Quasivariety generated by a finite Sugihara structure has finitely many subquasivarieties, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 1, s. 27 - 31
BIBTEX@Article{ authors = " Wiesław Dziobiak", title = "Quasivariety generated by a finite Sugihara structure has finitely many subquasivarieties", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 1", pages = "27 - 31" }
-
Structural completeness of modal logics containing K4s. 32 - 36CZYSTY TEKST
Wiesław Dziobiak, Structural completeness of modal logics containing K4, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 1, s. 32 - 36
BIBTEX@Article{ authors = " Wiesław Dziobiak", title = "Structural completeness of modal logics containing K4", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 1", pages = "32 - 36" }
-
On distributivity of the lattice of subquasivarieties of a variety of Heyting algebrass. 37 - 40CZYSTY TEKST
Wiesław Dziobiak, On distributivity of the lattice of subquasivarieties of a variety of Heyting algebras, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 1, s. 37 - 40
BIBTEX@Article{ authors = " Wiesław Dziobiak", title = "On distributivity of the lattice of subquasivarieties of a variety of Heyting algebras", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 1", pages = "37 - 40" }
-
Structural completeness of some fragments of intermediate logicss. 41 - 49CZYSTY TEKST
Tadeusz Prucnal, Structural completeness of some fragments of intermediate logics, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 1, s. 41 - 49
BIBTEX@Article{ authors = " Tadeusz Prucnal", title = "Structural completeness of some fragments of intermediate logics", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 1", pages = "41 - 49" }
