2004 |
4 | EE | Katarzyna Palasinska:
No Matrix Term-Equivalent to Wronski's 3-element Matrix is Finitely Based.
Studia Logica 77(3): 413-423 (2004) |
2003 |
3 | | Katarzyna Palasinska:
Finite Basis Theorem for Filter-distributive Protoalgebraic Deductive Systems and Strict Universal Horn Classes.
Studia Logica 74(1-2): 233-273 (2003) |
2000 |
2 | EE | Katarzyna Palasinska:
Sequent Calculi and Quasivarieties.
Reports on Mathematical Logic 34: 107-131 (2000) |
1994 |
1 | | Katarzyna Palasinska:
Three-element nonfinitely axiomatizable matrices.
Studia Logica 53(3): 361-372 (1994) |