2001 | ||
---|---|---|
5 | Andreja Prijatelj: Free Ordered Algebraic Structures Towards Proof Theory. J. Symb. Log. 66(2): 597-608 (2001) | |
1996 | ||
4 | Andreja Prijatelj: Free Algebras Corresponding to Multiplicative Classical Linear Logic and Some of Its Extensions. Notre Dame Journal of Formal Logic 37(1): 53-70 (1996) | |
3 | Andreja Prijatelj: Bounded contraction and Gentzen-style formulation of Lukasiewicz logics. Studia Logica 57(2/3): 437-456 (1996) | |
1995 | ||
2 | Andreja Prijatelj: Connectification for n-contraction. Studia Logica 54(2): 149-171 (1995) | |
1992 | ||
1 | Andreja Prijatelj: Lambek Calculus with Restricted Contraction and Expansion. Studia Logica 51(1): 125-143 (1992) |