Switch to: References

Citations of:

Connectification forn-contraction

Studia Logica 54 (2):149 - 171 (1995)

Add citations

You must login to add citations.
  1. Free Algebras Corresponding to Multiplicative Classical Linear Logic and Some of Its Extensions.Andreja Prijatelj - 1996 - Notre Dame Journal of Formal Logic 37 (1):53-70.
    In this paper, constructions of free algebras corresponding to multiplicative classical linear logic, its affine variant, and their extensions with -contraction () are given. As an application, the cardinality problem of some one-variable linear fragments with -contraction is solved.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Free ordered algebraic structures towards proof theory.Andreja Prijatelj - 2001 - Journal of Symbolic Logic 66 (2):597-608.
    In this paper, constructions of free ordered algebras on one generator are given that correspond to some one-variable fragments of affine propositional classical logic and their extensions with n-contraction (n ≥ 2). Moreover, embeddings of the already known infinite free structures into the algebras introduced below are furnished with; thus, solving along the respective cardinality problems.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark