Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/stachniak

Zbigniew Stachniak (stachniak)

Contributions to 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.