dblp.uni-trier.dewww.uni-trier.de

Andreja Prijatelj

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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)

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)