Zbigniew Stachniak (stachniak)
Contributions à Philosophie.ch
No contributions yet
Bibliography
Srzednicki, Jan T. L. and Stachniak, Zbigniew, eds. 1998. Lesniewski’s Systems. Protothetic. Nijhoff International Philosophy Series n. 54. Den Haag: Martinus Nijhoff Publishers.
Stachniak, Zbigniew. 1988. “Two Theorems on Many-Valued Logics.” The Journal of Philosophical Logic 17(2): 171–179.
Stachniak, Zbigniew. 1989. “Many-Valued Computational Logics.” The Journal of Philosophical Logic 18(3): 257–274.
Stachniak, Zbigniew. 1995. “Nonmonotonic Theories and Their Axiomatic Varieties.” Journal of Logic, Language, and Information 4(4): 317–334.
Stachniak, Zbigniew. 1996. Resolution Proof Systems: An Algebraic Theory. Dordrecht: Kluwer Academic Publishers.
Stachniak, Zbigniew. 1998. “Non-Clausal Reasoning with Propositional Theories.” in Artificial Intelligence and Symbolic Computation: Proceedings of AISC’98, edited by Jacques Calmet and Jan Plaza, pp. 296–307. Berlin: Springer.