-
Paraconsistent combinatory logic Opublikowano w: Bulletin of the Section of Logic 1979 / Tom 8 / Numer 4 / s. 177 - 1811979CZYSTY TEKST
Martin W. Bunder, Paraconsistent combinatory logic, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 4, s. 177 - 181
BIBTEX@Article{ authors = " Martin W. Bunder", title = "Paraconsistent combinatory logic", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 4", pages = "177 - 181" }
-
A note on quantified significance logic Opublikowano w: Bulletin of the Section of Logic 1980 / Tom 9 / Numer 4 / s. 159 - 1621980CZYSTY TEKST
Martin W. Bunder, A note on quantified significance logic, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 4, s. 159 - 162
BIBTEX@Article{ authors = " Martin W. Bunder", title = "A note on quantified significance logic", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 4", pages = "159 - 162" }
-
Classical versions of BCI, BCK and BCIW logics Opublikowano w: Bulletin of the Section of Logic 1994 / Tom 23 / Numer 2 / s. 61 - 651994CZYSTY TEKST
John K. Slaney, Martin W. Bunder, Classical versions of BCI, BCK and BCIW logics, Bulletin of the Section of Logic, 1994 / Tom 23 / Numer 2, s. 61 - 65
BIBTEX@Article{ authors = " John K. Slaney, Martin W. Bunder", title = "Classical versions of BCI, BCK and BCIW logics", journal = "Bulletin of the Section of Logic", issue = "1994 / Tom 23 / Numer 2", pages = "61 - 65" }
-
The strong relevance logics Opublikowano w: Bulletin of the Section of Logic 1994 / Tom 23 / Numer 1 / s. 12 - 171994CZYSTY TEKST
Martin W. Bunder, The strong relevance logics, Bulletin of the Section of Logic, 1994 / Tom 23 / Numer 1, s. 12 - 17
BIBTEX@Article{ authors = " Martin W. Bunder", title = "The strong relevance logics", journal = "Bulletin of the Section of Logic", issue = "1994 / Tom 23 / Numer 1", pages = "12 - 17" }
-
Conjunction without conditions in illative combinatory logic Opublikowano w: Bulletin of the Section of Logic 1984 / Tom 13 / Numer 4 / s. 207 - 2131984CZYSTY TEKST
Martin W. Bunder, Conjunction without conditions in illative combinatory logic, Bulletin of the Section of Logic, 1984 / Tom 13 / Numer 4, s. 207 - 213
BIBTEX@Article{ authors = " Martin W. Bunder", title = "Conjunction without conditions in illative combinatory logic", journal = "Bulletin of the Section of Logic", issue = "1984 / Tom 13 / Numer 4", pages = "207 - 213" }
