Zbigniew Stachniak
4 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Note on generalized matrix semantics and the problem of supremum Opublikowano w: Bulletin of the Section of Logic 1988 / Tom 17 / Numer 2 / s. 82 - 91ROK: 1988CZYSTY TEKSTBIBTEX
-
On minimal resolution proof for resolution logics Opublikowano w: Bulletin of the Section of Logic 1997 / Tom 26 / Numer 2 / s. 94 - 101ROK: 1997CZYSTY TEKSTBIBTEX
-
Some notes on characteristic consequence operations Opublikowano w: Bulletin of the Section of Logic 1978 / Tom 7 / Numer 4 / s. 159 - 166ROK: 1978CZYSTY TEKSTBIBTEX
-
Reasoning with partial situations Opublikowano w: Bulletin of the Section of Logic 1998 / Tom 27 / Numer 4 / s. 196 - 206ROK: 1998CZYSTY TEKSTBIBTEX
