-
A Perzanowski's hypothesis confirmeds. 58 - 59CZYSTY TEKST
Tomasz Kowalski, A Perzanowski's hypothesis confirmed, Bulletin of the Section of Logic, 1996 / Tom 25 / Numer 1, s. 58 - 59
BIBTEX@Article{ authors = " Tomasz Kowalski", title = "A Perzanowski's hypothesis confirmed", journal = "Bulletin of the Section of Logic", issue = "1996 / Tom 25 / Numer 1", pages = "58 - 59" }
-
A new axiomatization of K1s. 60 - 62CZYSTY TEKST
Heinrich Wansing, A new axiomatization of K1, Bulletin of the Section of Logic, 1996 / Tom 25 / Numer 1, s. 60 - 62
BIBTEX@Article{ authors = " Heinrich Wansing", title = "A new axiomatization of K1", journal = "Bulletin of the Section of Logic", issue = "1996 / Tom 25 / Numer 1", pages = "60 - 62" }
-
A general framework for the logic of theory changes. 2 - 8CZYSTY TEKST
Krister Segerberg, A general framework for the logic of theory change, Bulletin of the Section of Logic, 1996 / Tom 25 / Numer 1, s. 2 - 8
BIBTEX@Article{ authors = " Krister Segerberg", title = "A general framework for the logic of theory change", journal = "Bulletin of the Section of Logic", issue = "1996 / Tom 25 / Numer 1", pages = "2 - 8" }
-
Simple sandwiches and related results of Keisler and Kochens. 9 - 14CZYSTY TEKST
Konrad Turzyński, Simple sandwiches and related results of Keisler and Kochen, Bulletin of the Section of Logic, 1996 / Tom 25 / Numer 1, s. 9 - 14
BIBTEX@Article{ authors = " Konrad Turzyński", title = "Simple sandwiches and related results of Keisler and Kochen", journal = "Bulletin of the Section of Logic", issue = "1996 / Tom 25 / Numer 1", pages = "9 - 14" }
-
Paraconsistent extensions of positive logics. 15 - 20CZYSTY TEKST
Roman Tuziak, Paraconsistent extensions of positive logic, Bulletin of the Section of Logic, 1996 / Tom 25 / Numer 1, s. 15 - 20
BIBTEX@Article{ authors = " Roman Tuziak", title = "Paraconsistent extensions of positive logic", journal = "Bulletin of the Section of Logic", issue = "1996 / Tom 25 / Numer 1", pages = "15 - 20" }
-
A remark on the delta operation and the Kripke sheaf semantics in super-intuitionistic predicate logics. 21 - 28CZYSTY TEKST
Nobu-Yuki Suzuki, A remark on the delta operation and the Kripke sheaf semantics in super-intuitionistic predicate logic, Bulletin of the Section of Logic, 1996 / Tom 25 / Numer 1, s. 21 - 28
BIBTEX@Article{ authors = " Nobu-Yuki Suzuki", title = "A remark on the delta operation and the Kripke sheaf semantics in super-intuitionistic predicate logic", journal = "Bulletin of the Section of Logic", issue = "1996 / Tom 25 / Numer 1", pages = "21 - 28" }
-
Ontology can turn negative results to positives. 29 - 40CZYSTY TEKST
Istvan Nemeti, Ontology can turn negative results to positive, Bulletin of the Section of Logic, 1996 / Tom 25 / Numer 1, s. 29 - 40
BIBTEX@Article{ authors = " Istvan Nemeti", title = "Ontology can turn negative results to positive", journal = "Bulletin of the Section of Logic", issue = "1996 / Tom 25 / Numer 1", pages = "29 - 40" }
-
Kripke semantics for logic with BCKs. 41 - 51CZYSTY TEKST
Wendy MacCaull, Kripke semantics for logic with BCK, Bulletin of the Section of Logic, 1996 / Tom 25 / Numer 1, s. 41 - 51
BIBTEX@Article{ authors = " Wendy MacCaull", title = "Kripke semantics for logic with BCK", journal = "Bulletin of the Section of Logic", issue = "1996 / Tom 25 / Numer 1", pages = "41 - 51" }
-
The class of precomplete Lukasiewicz's many-valued logics and the law of prime numbers generations. 52 - 57CZYSTY TEKST
Alexander S. Karpenko, The class of precomplete Lukasiewicz's many-valued logics and the law of prime numbers generation, Bulletin of the Section of Logic, 1996 / Tom 25 / Numer 1, s. 52 - 57
BIBTEX@Article{ authors = " Alexander S. Karpenko", title = "The class of precomplete Lukasiewicz's many-valued logics and the law of prime numbers generation", journal = "Bulletin of the Section of Logic", issue = "1996 / Tom 25 / Numer 1", pages = "52 - 57" }
