Zbigniew Stachniak
4 artykuły w 1 czasopismach
-
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 - 911988CZYSTY TEKST
Zbigniew Stachniak, Note on generalized matrix semantics and the problem of supremum, Bulletin of the Section of Logic, 1988 / Tom 17 / Numer 2, s. 82 - 91
BIBTEX@Article{ authors = " Zbigniew Stachniak", title = "Note on generalized matrix semantics and the problem of supremum", journal = "Bulletin of the Section of Logic", issue = "1988 / Tom 17 / Numer 2", pages = "82 - 91" }
-
On minimal resolution proof for resolution logics Opublikowano w: Bulletin of the Section of Logic 1997 / Tom 26 / Numer 2 / s. 94 - 1011997CZYSTY TEKST
Zbigniew Stachniak, On minimal resolution proof for resolution logics, Bulletin of the Section of Logic, 1997 / Tom 26 / Numer 2, s. 94 - 101
BIBTEX@Article{ authors = " Zbigniew Stachniak", title = "On minimal resolution proof for resolution logics", journal = "Bulletin of the Section of Logic", issue = "1997 / Tom 26 / Numer 2", pages = "94 - 101" }
-
Some notes on characteristic consequence operations Opublikowano w: Bulletin of the Section of Logic 1978 / Tom 7 / Numer 4 / s. 159 - 1661978CZYSTY TEKST
Zbigniew Stachniak, Some notes on characteristic consequence operations, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 4, s. 159 - 166
BIBTEX@Article{ authors = " Zbigniew Stachniak", title = "Some notes on characteristic consequence operations", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 4", pages = "159 - 166" }
-
Reasoning with partial situations Opublikowano w: Bulletin of the Section of Logic 1998 / Tom 27 / Numer 4 / s. 196 - 2061998CZYSTY TEKST
Zbigniew Stachniak, Reasoning with partial situations, Bulletin of the Section of Logic, 1998 / Tom 27 / Numer 4, s. 196 - 206
BIBTEX@Article{ authors = " Zbigniew Stachniak", title = "Reasoning with partial situations", journal = "Bulletin of the Section of Logic", issue = "1998 / Tom 27 / Numer 4", pages = "196 - 206" }
