 | 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) |
