Wyniki
-
On probability measures for deductive systems II
David Miller
Bulletin of the Section of Logic , 7 /1 (1978) s. 12-19 -
On provability measures for deductive systems III
David Miller
Bulletin of the Section of Logic , 7 /2 (1978) s. 51-57 -
Metric postulates for modular, distributive, and Boolean lattices
David Miller
Bulletin of the Section of Logic , 8 /4 (1979) s. 191-196 -
On provability measures for deductive systems I
David Miller
Bulletin of the Section of Logic , 5 /3 (1976) s. 87-93 -
On distance from the truth as a true distance
David Miller
Bulletin of the Section of Logic , 6 /1 (1977) s. 15-26 -
New axioms for Boolean geometry
David Miller
Bulletin of the Section of Logic , 6 /2 (1977) s. 53-63 -
Extremal consequence operations
David Miller
Bulletin of the Section of Logic , 29 /3 (2000) s. 99-107 -
An open problem in Tarski's calculus of deductive systems
David Miller
Bulletin of the Section of Logic , 20 /2 (1991) s. 36-43