| |
| 2005 | ||
|---|---|---|
| 6 | Tomasz F. Skura: Intuitionistic Socratic procedures. Journal of Applied Non-Classical Logics 15(4): 453-464 (2005) | |
| 2004 | ||
| 5 | EE | Tomasz F. Skura: Rules and Refutation Rules for the Logic of Finite n-ary Trees. J. Log. Comput. 14(3): 429-435 (2004) |
| 2002 | ||
| 4 | Tomasz F. Skura: Refutations, Proofs, and Models in the Modal Logic K4. Studia Logica 70(2): 193-204 (2002) | |
| 1995 | ||
| 3 | EE | Tomasz F. Skura: Some Aspects of Refutation Rules. Reports on Mathematical Logic 29: 109-116 (1995) |
| 1994 | ||
| 2 | Tomasz F. Skura: Syntactic Refutations against Finite Models in Modal Logic. Notre Dame Journal of Formal Logic 35(4): 595-605 (1994) | |
| 1992 | ||
| 1 | Tomasz F. Skura: Refutation Calculi for Certain Intermediate Proposittional Logics. Notre Dame Journal of Formal Logic 33(4): 552-560 (1992) | |