Dolph Ulrich
6 artykuły w 1 czasopismach
-
On Two Open Questions Concerning the Implicational Fragment of R-mingle Opublikowano w: Bulletin of the Section of Logic 2009 / Tom 38 / Numer 1-2 / s. 1 - 42009CZYSTY TEKST
Dolph Ulrich, On Two Open Questions Concerning the Implicational Fragment of R-mingle, Bulletin of the Section of Logic, 2009 / Tom 38 / Numer 1-2, s. 1 - 4
BIBTEX@Article{ authors = " Dolph Ulrich", title = "On Two Open Questions Concerning the Implicational Fragment of R-mingle", journal = "Bulletin of the Section of Logic", issue = "2009 / Tom 38 / Numer 1-2", pages = "1 - 4" }
-
New single axioms for positive implication Opublikowano w: Bulletin of the Section of Logic 1999 / Tom 28 / Numer 1 / s. 39 - 421999CZYSTY TEKST
Dolph Ulrich, New single axioms for positive implication, Bulletin of the Section of Logic, 1999 / Tom 28 / Numer 1, s. 39 - 42
BIBTEX@Article{ authors = " Dolph Ulrich", title = "New single axioms for positive implication", journal = "Bulletin of the Section of Logic", issue = "1999 / Tom 28 / Numer 1", pages = "39 - 42" }
-
Models of three-valued calculi in inplicational S5 Opublikowano w: Bulletin of the Section of Logic 1983 / Tom 12 / Numer 2 / s. 73 - 751983CZYSTY TEKST
Dolph Ulrich, Models of three-valued calculi in inplicational S5, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 2, s. 73 - 75
BIBTEX@Article{ authors = " Dolph Ulrich", title = "Models of three-valued calculi in inplicational S5", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 2", pages = "73 - 75" }
-
An integer-valued matrix characteristic for implicational S5 Opublikowano w: Bulletin of the Section of Logic 1990 / Tom 19 / Numer 3 / s. 87 - 911990CZYSTY TEKST
Dolph Ulrich, An integer-valued matrix characteristic for implicational S5, Bulletin of the Section of Logic, 1990 / Tom 19 / Numer 3, s. 87 - 91
BIBTEX@Article{ authors = " Dolph Ulrich", title = "An integer-valued matrix characteristic for implicational S5", journal = "Bulletin of the Section of Logic", issue = "1990 / Tom 19 / Numer 3", pages = "87 - 91" }
-
On the independence of B from I, C, W, K'1 and Karpenko's formula X Opublikowano w: Bulletin of the Section of Logic 1994 / Tom 23 / Numer 3 / s. 96 - 971994CZYSTY 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" }
-
Answer to a question raised by Harrop Opublikowano w: Bulletin of the Section of Logic 1982 / Tom 11 / Numer 3-4 / s. 140 - 1411982CZYSTY TEKST
Dolph Ulrich, Answer to a question raised by Harrop, Bulletin of the Section of Logic, 1982 / Tom 11 / Numer 3-4, s. 140 - 141
BIBTEX@Article{ authors = " Dolph Ulrich", title = "Answer to a question raised by Harrop", journal = "Bulletin of the Section of Logic", issue = "1982 / Tom 11 / Numer 3-4", pages = "140 - 141" }
