-
On the independence of B from I, C, W, K'1 and Karpenko's formula Xs. 96 - 97CZYSTY TEKST
Dolph Ulrich, On the independence of B from I, C, W, K'1 and Karpenko's formula X, Bulletin of the Section of Logic, 1994 / Tom 23 / Numer 3, s. 96 - 97
BIBTEX@Article{ authors = " Dolph Ulrich", title = "On the independence of B from I, C, W, K'1 and Karpenko's formula X", journal = "Bulletin of the Section of Logic", issue = "1994 / Tom 23 / Numer 3", pages = "96 - 97" }
-
Some theorems on equivalential tense logics. 98 - 103CZYSTY TEKST
Jacek Malinowski, Some theorems on equivalential tense logic, Bulletin of the Section of Logic, 1994 / Tom 23 / Numer 3, s. 98 - 103
BIBTEX@Article{ authors = " Jacek Malinowski", title = "Some theorems on equivalential tense logic", journal = "Bulletin of the Section of Logic", issue = "1994 / Tom 23 / Numer 3", pages = "98 - 103" }
-
Non-uniqueness of normal proofs for minimal formulas in implication-conjunction fragment of BCKs. 104 - 112CZYSTY TEKST
Takahito Aoto, Hiroakira Ono, Non-uniqueness of normal proofs for minimal formulas in implication-conjunction fragment of BCK, Bulletin of the Section of Logic, 1994 / Tom 23 / Numer 3, s. 104 - 112
BIBTEX@Article{ authors = " Takahito Aoto, Hiroakira Ono", title = "Non-uniqueness of normal proofs for minimal formulas in implication-conjunction fragment of BCK", journal = "Bulletin of the Section of Logic", issue = "1994 / Tom 23 / Numer 3", pages = "104 - 112" }
-
Truth as an objects. 113 - 117CZYSTY TEKST
Marek Magdziak, Truth as an object, Bulletin of the Section of Logic, 1994 / Tom 23 / Numer 3, s. 113 - 117
BIBTEX@Article{ authors = " Marek Magdziak", title = "Truth as an object", journal = "Bulletin of the Section of Logic", issue = "1994 / Tom 23 / Numer 3", pages = "113 - 117" }
-
A note on "Carnot's logic"s. 118 - 125CZYSTY TEKST
Igor Urbas, A note on "Carnot's logic", Bulletin of the Section of Logic, 1994 / Tom 23 / Numer 3, s. 118 - 125
BIBTEX@Article{ authors = " Igor Urbas", title = "A note on "Carnot's logic"", journal = "Bulletin of the Section of Logic", issue = "1994 / Tom 23 / Numer 3", pages = "118 - 125" }
-
Sheffer's stroke for prime numberss. 126 - 129CZYSTY TEKST
Alexander S. Karpenko, Sheffer's stroke for prime numbers, Bulletin of the Section of Logic, 1994 / Tom 23 / Numer 3, s. 126 - 129
BIBTEX@Article{ authors = " Alexander S. Karpenko", title = "Sheffer's stroke for prime numbers", journal = "Bulletin of the Section of Logic", issue = "1994 / Tom 23 / Numer 3", pages = "126 - 129" }
-
Conditional negation on the positive logics. 130 - 136CZYSTY TEKST
Jacek Geisler, Marek Nowak, Conditional negation on the positive logic, Bulletin of the Section of Logic, 1994 / Tom 23 / Numer 3, s. 130 - 136
BIBTEX@Article{ authors = " Jacek Geisler, Marek Nowak", title = "Conditional negation on the positive logic", journal = "Bulletin of the Section of Logic", issue = "1994 / Tom 23 / Numer 3", pages = "130 - 136" }
