-
On the equivalence between some systems of non-classical logics. 68 - 72CZYSTY TEKST
Antonio M. Sette, Elias H. Alves, On the equivalence between some systems of non-classical logic, Bulletin of the Section of Logic, 1996 / Tom 25 / Numer 2, s. 68 - 72
BIBTEX@Article{ authors = " Antonio M. Sette, Elias H. Alves", title = "On the equivalence between some systems of non-classical logic", journal = "Bulletin of the Section of Logic", issue = "1996 / Tom 25 / Numer 2", pages = "68 - 72" }
-
A Gentzen system equivalent to the BCK-logics. 73 - 80CZYSTY TEKST
Roma J. Adillon, Ventura Verdu, A Gentzen system equivalent to the BCK-logic, Bulletin of the Section of Logic, 1996 / Tom 25 / Numer 2, s. 73 - 80
BIBTEX@Article{ authors = " Roma J. Adillon, Ventura Verdu", title = "A Gentzen system equivalent to the BCK-logic", journal = "Bulletin of the Section of Logic", issue = "1996 / Tom 25 / Numer 2", pages = "73 - 80" }
-
Modal interpretation of Heyting-Brouwer logics. 80 - 83CZYSTY TEKST
Piotr Łukowski, Modal interpretation of Heyting-Brouwer logic, Bulletin of the Section of Logic, 1996 / Tom 25 / Numer 2, s. 80 - 83
BIBTEX@Article{ authors = " Piotr Łukowski", title = "Modal interpretation of Heyting-Brouwer logic", journal = "Bulletin of the Section of Logic", issue = "1996 / Tom 25 / Numer 2", pages = "80 - 83" }
-
On Novikov's approach to the notion of a new intuitionistic connective: two negative exampless. 84 - 88CZYSTY TEKST
Alexander Yashin, On Novikov's approach to the notion of a new intuitionistic connective: two negative examples, Bulletin of the Section of Logic, 1996 / Tom 25 / Numer 2, s. 84 - 88
BIBTEX@Article{ authors = " Alexander Yashin", title = "On Novikov's approach to the notion of a new intuitionistic connective: two negative examples", journal = "Bulletin of the Section of Logic", issue = "1996 / Tom 25 / Numer 2", pages = "84 - 88" }
-
Identity, structure and logics. 89 - 94CZYSTY TEKST
Jean-Yves Beziau, Identity, structure and logic, Bulletin of the Section of Logic, 1996 / Tom 25 / Numer 2, s. 89 - 94
BIBTEX@Article{ authors = " Jean-Yves Beziau", title = "Identity, structure and logic", journal = "Bulletin of the Section of Logic", issue = "1996 / Tom 25 / Numer 2", pages = "89 - 94" }
-
Cut-free sequent calculus for S5s. 95 - 102CZYSTY TEKST
Andrzej Indrzejczak, Cut-free sequent calculus for S5, Bulletin of the Section of Logic, 1996 / Tom 25 / Numer 2, s. 95 - 102
BIBTEX@Article{ authors = " Andrzej Indrzejczak", title = "Cut-free sequent calculus for S5", journal = "Bulletin of the Section of Logic", issue = "1996 / Tom 25 / Numer 2", pages = "95 - 102" }
-
Filtered subdirect productss. 103CZYSTY TEKST
Janusz Czelakowski, Filtered subdirect products, Bulletin of the Section of Logic, 1996 / Tom 25 / Numer 2, s. 103
BIBTEX@Article{ authors = " Janusz Czelakowski", title = "Filtered subdirect products", journal = "Bulletin of the Section of Logic", issue = "1996 / Tom 25 / Numer 2", pages = "103" }
