Free Algebras Corresponding to Multiplicative Classical Linear Logic and Some of Its Extensions
Notre Dame Journal of Formal Logic 37 (1):53-70 (1996)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,711 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesAndreja Prijatelj (2001). Free Ordered Algebraic Structures Towards Proof Theory. Journal of Symbolic Logic 66 (2):597-608.
Andreja Prijatelj (1996). Bounded Contraction and Gentzen-Style Formulation of Łukasiewicz Logics. Studia Logica 57 (2-3):437 - 456.
Yves Lafont (1996). The Undecidability of Second Order Linear Logic Without Exponentials. Journal of Symbolic Logic 61 (2):541-548.
Katarzyna Slomczyńska (2005). Free Spectra of Linear Equivalential Algebras. Journal of Symbolic Logic 70 (4):1341 - 1358.
Samson Abramsky & Radha Jagadeesan (1994). Games and Full Completeness for Multiplicative Linear Logic. Journal of Symbolic Logic 59 (2):543-574.
Jean-Baptiste Joinet, Harold Schellinx & Lorenzo Tortora de Falco (2002). SN and CR for Free-Style LKtq: Linear Decorations and Simulation of Normalization. Journal of Symbolic Logic 67 (1):162-196.
Andreja Prijatelj (1995). Connectification Forn-Contraction. Studia Logica 54 (2):149 - 171.
Peter W. O'Hearn & David J. Pym (1999). The Logic of Bunched Implications. Bulletin of Symbolic Logic 5 (2):215-244.
Misao Nagayama & Mitsuhiro Okada (2001). A New Correctness Criterion for the Proof Nets of Non-Commutative Multiplicative Linear Logics. Journal of Symbolic Logic 66 (4):1524-1542.
R. F. Blute & P. J. Scott (1998). The Shuffle Hopf Algebra and Noncommutative Full Completeness. Journal of Symbolic Logic 63 (4):1413-1436.
Mati Pentus (1994). The Conjoinability Relation in Lambek Calculus and Linear Logic. Journal of Logic, Language and Information 3 (2):121-140.
Andreja Prijatelj (1995). Reflections on “Difficult” Embeddings. Journal of Philosophical Logic 24 (1):71 - 84.
Paulo Oliva (2008). An Analysis of Gödel's Dialectica Interpretation Via Linear Logic. Dialectica 62 (2):269–290.
Dirk Roorda (1994). Interpolation in Fragments of Classical Linear Logic. Journal of Symbolic Logic 59 (2):419-444.
Marie-Renée Fleury & Myriam Quatrini (2007). A Mixed Λ-Calculus. Studia Logica 87 (2-3):269 - 294.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-24Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
