Wyniki
-
Some notes on characteristic consequence operations
Zbigniew Stachniak
Bulletin of the Section of Logic , 7 /4 (1978) s. 159-166 -
On minimal resolution proof for resolution logics
Zbigniew Stachniak
Bulletin of the Section of Logic , 26 /2 (1997) s. 94-101 -
Reasoning with partial situations
Zbigniew Stachniak
Bulletin of the Section of Logic , 27 /4 (1998) s. 196-206 -
Note on generalized matrix semantics and the problem of supremum
Zbigniew Stachniak
Bulletin of the Section of Logic , 17 /2 (1988) s. 82-91