David Miller
8 artykuły w 1 czasopismach
-
On probability measures for deductive systems II Opublikowano w: Bulletin of the Section of Logic 1978 / Tom 7 / Numer 1 / s. 12 - 191978CZYSTY TEKST
David Miller, On probability measures for deductive systems II, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 1, s. 12 - 19
BIBTEX@Article{ authors = " David Miller", title = "On probability measures for deductive systems II", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 1", pages = "12 - 19" }
-
On distance from the truth as a true distance Opublikowano w: Bulletin of the Section of Logic 1977 / Tom 6 / Numer 1 / s. 15 - 261977CZYSTY TEKST
David Miller, On distance from the truth as a true distance, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 1, s. 15 - 26
BIBTEX@Article{ authors = " David Miller", title = "On distance from the truth as a true distance", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 1", pages = "15 - 26" }
-
An open problem in Tarski's calculus of deductive systems Opublikowano w: Bulletin of the Section of Logic 1991 / Tom 20 / Numer 2 / s. 36 - 431991CZYSTY TEKST
David Miller, An open problem in Tarski's calculus of deductive systems, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 2, s. 36 - 43
BIBTEX@Article{ authors = " David Miller", title = "An open problem in Tarski's calculus of deductive systems", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 2", pages = "36 - 43" }
-
On provability measures for deductive systems III Opublikowano w: Bulletin of the Section of Logic 1978 / Tom 7 / Numer 2 / s. 51 - 571978CZYSTY TEKST
David Miller, On provability measures for deductive systems III, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 2, s. 51 - 57
BIBTEX@Article{ authors = " David Miller", title = "On provability measures for deductive systems III", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 2", pages = "51 - 57" }
-
New axioms for Boolean geometry Opublikowano w: Bulletin of the Section of Logic 1977 / Tom 6 / Numer 2 / s. 53 - 631977CZYSTY TEKST
David Miller, New axioms for Boolean geometry, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 2, s. 53 - 63
BIBTEX@Article{ authors = " David Miller", title = "New axioms for Boolean geometry", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 2", pages = "53 - 63" }
-
On provability measures for deductive systems I Opublikowano w: Bulletin of the Section of Logic 1976 / Tom 5 / Numer 3 / s. 87 - 931976CZYSTY TEKST
David Miller, On provability measures for deductive systems I, Bulletin of the Section of Logic, 1976 / Tom 5 / Numer 3, s. 87 - 93
BIBTEX@Article{ authors = " David Miller", title = "On provability measures for deductive systems I", journal = "Bulletin of the Section of Logic", issue = "1976 / Tom 5 / Numer 3", pages = "87 - 93" }
-
Extremal consequence operations Opublikowano w: Bulletin of the Section of Logic 2000 / Tom 29 / Numer 3 / s. 99 - 1072000CZYSTY TEKST
David Miller, Extremal consequence operations, Bulletin of the Section of Logic, 2000 / Tom 29 / Numer 3, s. 99 - 107
BIBTEX@Article{ authors = " David Miller", title = "Extremal consequence operations", journal = "Bulletin of the Section of Logic", issue = "2000 / Tom 29 / Numer 3", pages = "99 - 107" }
-
Metric postulates for modular, distributive, and Boolean lattices Opublikowano w: Bulletin of the Section of Logic 1979 / Tom 8 / Numer 4 / s. 191 - 1961979CZYSTY TEKST
David Miller, Metric postulates for modular, distributive, and Boolean lattices, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 4, s. 191 - 196
BIBTEX@Article{ authors = " David Miller", title = "Metric postulates for modular, distributive, and Boolean lattices", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 4", pages = "191 - 196" }
