Di Guardia, Rémi; Laurent, Olivier Type isomorphisms for multiplicative-additive linear logic. (English) Zbl 07929341 Gaboardi, Marco (ed.) et al., 8th international conference on formal structures for computation and deduction, FSCD 2023, Rome, Italy, July 3–6, 2023. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 260, Article 26, 21 p. (2023). MSC: 03F52 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Ciungu, Lavinia Corina Derivation operators on generalized algebras of BCK logic. (English) Zbl 1464.06016 Fuzzy Sets Syst. 407, 175-191 (2021). MSC: 06F35 03B47 × Cite Format Result Cite Review PDF Full Text: DOI
Hamano, Masahiro A \(\mathsf{MALL}\) geometry of interaction based on indexed linear logic. (English) Zbl 1509.03166 Math. Struct. Comput. Sci. 30, No. 10, 1025-1053 (2020). MSC: 03F52 18M45 03F05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Curzi, Gianluca; Roversi, Luca A type-assignment of linear erasure and duplication. (English) Zbl 1484.03128 Theor. Comput. Sci. 837, 26-53 (2020). MSC: 03F52 03B40 68Q06 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Hamano, Masahiro Geometry of interaction for MALL via Hughes-Van Glabbeek proof-nets. (English) Zbl 1407.03077 ACM Trans. Comput. Log. 19, No. 4, Article No. 25, 38 p. (2018). MSC: 03F52 03B70 03F07 03G30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Peterson, Clayton; Kulicki, Piotr Conditional normative reasoning with substructural logics. (English) Zbl 1418.03112 Roy, Olivier (ed.) et al., Deontic logic and normative systems. 13th international conference, DEON 2016, Bayreuth, Germany, July 18–21, 2016. Proceedings. London: College Publications. 220-236 (2016). MSC: 03B47 03B45 × Cite Format Result Cite Review PDF
Hughes, Dominic; Heijltjes, Willem Conflict nets: efficient locally canonical MALL proof nets. (English) Zbl 1395.03037 Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 437-446 (2016). MSC: 03F52 03F07 × Cite Format Result Cite Review PDF Full Text: DOI
Boniolo, Giovanni; D’Agostino, Marcello; Piazza, Mario; Pulcini, Gabriele A logic of non-monotonic interactions. (English) Zbl 1270.03125 J. Appl. Log. 11, No. 1, 52-62 (2013). MSC: 03F52 03F07 92C40 × Cite Format Result Cite Review PDF Full Text: DOI Link
Seiller, Thomas Interaction graphs: multiplicatives. (English) Zbl 1252.03143 Ann. Pure Appl. Logic 163, No. 12, 1808-1837 (2012). Reviewer: Myriam Quatrini (Marseille) MSC: 03F52 03F05 68Q55 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Matsuoka, Satoshi A coding theoretic study of MLL proof nets. (English) Zbl 1268.03084 Math. Struct. Comput. Sci. 22, No. 3, 409-449 (2012). Reviewer: Myriam Quatrini (Marseille) MSC: 03F52 94A24 × Cite Format Result Cite Review PDF Full Text: DOI
Guerrini, Stefano A linear algorithm for MLL proof net correctness and sequentialization. (English) Zbl 1222.03067 Theor. Comput. Sci. 412, No. 20, 1958-1978 (2011). Reviewer: Gilda Ferreira (Lisboa) MSC: 03F52 03F07 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI
Kahramanoğulları, Ozan System BV is NP-complete. (English) Zbl 1136.03039 Ann. Pure Appl. Logic 152, No. 1-3, 107-121 (2008). MSC: 03F52 68Q17 × Cite Format Result Cite Review PDF Full Text: DOI
Humberstone, Lloyd Investigations into a left-structural right-substructural sequent calculus. (English) Zbl 1158.03012 J. Logic Lang. Inf. 16, No. 2, 141-171 (2007). MSC: 03B47 03F05 × Cite Format Result Cite Review PDF Full Text: DOI
Führmann, Carsten; Pym, David On categorical models of classical logic and the geometry of interaction. (English) Zbl 1129.03038 Math. Struct. Comput. Sci. 17, No. 5, 957-1027 (2007). Reviewer: Florentina Chirteş (Craiova) MSC: 03G30 03F05 03F07 03F52 18D10 × Cite Format Result Cite Review PDF Full Text: DOI
Méhats, L.; Soloviev, S. Coherence in SMCCs and equivalences on derivations in IMML with unit. (English) Zbl 1117.18005 Ann. Pure Appl. Logic 147, No. 3, 127-179 (2007). MSC: 18D15 18A15 03F52 03G30 × Cite Format Result Cite Review PDF Full Text: DOI
Pagani, Michele Proofs, denotational semantics and observational equivalences in multiplicative linear logic. (English) Zbl 1124.03035 Math. Struct. Comput. Sci. 17, No. 2, 341-359 (2007). Reviewer: Vladimir Komendantsky (Sophia Antipolis) MSC: 03F52 03B70 × Cite Format Result Cite Review PDF Full Text: DOI
Murawski, Andrzej S.; Ong, C.-H. Luke Fast verification of MLL proof nets via IMLL. (English) Zbl 1367.03112 ACM Trans. Comput. Log. 7, No. 3, 473-498 (2006). MSC: 03F52 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI
Lamarche, François; Strassburger, Lutz From proof nets to the free *-autonomous category. (English) Zbl 1127.03044 Log. Methods Comput. Sci. 2, No. 4, Paper 3, 44 p. (2006). MSC: 03F52 03F05 18D10 × Cite Format Result Cite Review PDF Full Text: DOI
Slavnov, Sergey Geometrical semantics for linear logic (multiplicative fragment). (English) Zbl 1094.03060 Theor. Comput. Sci. 357, No. 1-3, 215-229 (2006). MSC: 03G30 03F52 53D12 81P10 53D50 81S10 × Cite Format Result Cite Review PDF Full Text: DOI
Pentus, Mati Lambek calculus is NP-complete. (English) Zbl 1104.03013 Theor. Comput. Sci. 357, No. 1-3, 186-201 (2006). Reviewer: Mirosława Kołowska-Gawiejnowicz (Poznań) MSC: 03B47 68Q17 03F52 × Cite Format Result Cite Review PDF Full Text: DOI
Slavnov, Sergey From proof-nets to bordisms: the geometric meaning of multiplicative connectives. (English) Zbl 1098.03070 Math. Struct. Comput. Sci. 15, No. 6, 1151-1178 (2005). MSC: 03F52 × Cite Format Result Cite Review PDF Full Text: DOI
Hasegawa, Masahito Classical linear logic of implications. (English) Zbl 1069.03055 Math. Struct. Comput. Sci. 15, No. 2, 323-342 (2005). MSC: 03F52 03G30 × Cite Format Result Cite Review PDF Full Text: DOI
Slavnov, Sergey Coherent phase spaces. Semiclassical semantics. (English) Zbl 1068.03053 Ann. Pure Appl. Logic 131, No. 1-3, 177-225 (2005). MSC: 03F52 03G30 37J05 53D12 × Cite Format Result Cite Review PDF Full Text: DOI
Blute, Richard; Hamano, Masahiro; Scott, Philip Softness of hypercoherences and MALL full completeness. (English) Zbl 1065.03041 Ann. Pure Appl. Logic 131, No. 1-3, 1-63 (2005). MSC: 03F52 03G30 × Cite Format Result Cite Review PDF Full Text: DOI
Melliès, Paul-André A topological correctness criterion for multiplicative non-commutative logic. (English) Zbl 1059.03071 Ehrhard, Thomas (ed.) et al., Linear logic in computer science. Based on the Azores summer school on linear logic and computer science, St. Miguel, Azores, Portugal, August 30–September 7, 2000. Cambridge: Cambridge University Press (ISBN 0-521-60857-0/pbk). London Mathematical Society Lecture Note Series 316, 283-321 (2004). MSC: 03F52 × Cite Format Result Cite Review PDF
Guerrini, Stefano Proof nets and the \(\lambda\)-calculus. (English) Zbl 1061.03069 Ehrhard, Thomas (ed.) et al., Linear logic in computer science. Based on the Azores summer school on linear logic and computer science, St. Miguel, Azores, Portugal, August 30–September 7, 2000. Cambridge: Cambridge University Press (ISBN 0-521-60857-0/pbk). London Mathematical Society Lecture Note Series 316, 65-118 (2004). Reviewer: Reinhard Kahle (Coimbra) MSC: 03F52 03B40 03B47 × Cite Format Result Cite Review PDF
Hamano, Masahiro Softness of MALL proof-structures and a correctness criterion with Mix. (English) Zbl 1061.03070 Arch. Math. Logic 43, No. 6, 751-794 (2004). Reviewer: G. E. Mints (München) MSC: 03F52 03F07 03F03 × Cite Format Result Cite Review PDF Full Text: DOI
Fleury, Arnaud Ribbon braided multiplicative linear logic. (English) Zbl 1073.03035 Mat. Contemp. 24, 39-70 (2003). MSC: 03F52 × Cite Format Result Cite Review PDF
Bellin, Gianluigi Two paradigms of logical computation in affine logic? (English) Zbl 1036.03045 de Queiroz, Ruy J. G. B. (ed.), Logic for concurrency and synchronisation. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1270-5/hbk). Trends Log. Stud. Log. Libr. 18, 111-144 (2003). MSC: 03F52 03F07 03B70 03F05 × Cite Format Result Cite Review PDF
Murawski, A. S.; Ong, C.-H. L. Exhausting strategies, joker games and full completeness for IMLL with unit. (English) Zbl 1029.03053 Theor. Comput. Sci. 294, No. 1-2, 269-305 (2003). MSC: 03F52 03G30 18D15 91A80 × Cite Format Result Cite Review PDF Full Text: DOI
Melliès, Paul-André Double categories: A modular model of multiplicative linear logic. (English) Zbl 1022.03046 Math. Struct. Comput. Sci. 12, No. 4, 449-479 (2002). Reviewer: Michel Eytan (Strasbourg) MSC: 03F52 18D05 03B70 03F05 03G30 × Cite Format Result Cite Review PDF Full Text: DOI
Blute, Richard F.; Lamarche, François; Ruet, Paul Entropic Hopf algebras and models of non-commutative logic. (English) Zbl 1017.03037 Theory Appl. Categ. 10, 424-460 (2002). MSC: 03F52 03F07 03G30 18D10 57T05 03F05 × Cite Format Result Cite Review PDF Full Text: EuDML EMIS
Nagayama, Misao; Okada, Mitsuhiro A new correctness criterion for the proof nets of non-commutative multiplicative linear logics. (English) Zbl 0994.03051 J. Symb. Log. 66, No. 4, 1524-1542 (2001). MSC: 03F52 × Cite Format Result Cite Review PDF Full Text: DOI
Moot, Richard; Piazza, Mario Linguistic application of first order intuitionistic linear logic. (English) Zbl 0984.03028 J. Logic Lang. Inf. 10, No. 2, 211-232 (2001). MSC: 03B65 03B47 03F52 × Cite Format Result Cite Review PDF Full Text: DOI
Prijatelj, Andreja Free ordered algebraic structures towards proof theory. (English) Zbl 0989.03073 J. Symb. Log. 66, No. 2, 597-608 (2001). MSC: 03G25 06F25 03F05 03F52 × Cite Format Result Cite Review PDF Full Text: DOI
Métayer, François Implicit exchange in multiplicative proofnets. (English) Zbl 1025.03068 Math. Struct. Comput. Sci. 11, No. 2, 261-272 (2001). Reviewer: S.V.Solov’ev (Toulouse) MSC: 03F52 03F07 × Cite Format Result Cite Review PDF Full Text: DOI
Mints, G.; Soloviev, S. Classical multiplicative linear logic \(\simeq\) intuitionistic MLL. (English) Zbl 0990.03050 Karpenko, A. S. (ed.), Logical investigations. No. 7. Papers from the 2nd international conference “Smirnov’s Readings”, Moscow, Russia, May 1999. Moskva: Nauka. 132-136 (2000). Reviewer: M.Yasuhara (Princeton) MSC: 03F52 × Cite Format Result Cite Review PDF
Bunder, M. W. Proof finding algorithms for implicational logics. (English) Zbl 0972.03022 Theor. Comput. Sci. 232, No. 1-2, 165-186 (2000). Reviewer: G.Mints (Stanford) MSC: 03B47 03B40 03B15 03B20 03B35 × Cite Format Result Cite Review PDF Full Text: DOI
Galmiche, D. Connection methods in linear logic and proof nets construction. (English) Zbl 0951.03055 Theor. Comput. Sci. 232, No. 1-2, 231-272 (2000). MSC: 03F52 × Cite Format Result Cite Review PDF Full Text: DOI
Hamano, Masahiro Pontrjagin duality and full completeness for multiplicative linear logic (without Mix). (English) Zbl 0955.03068 Math. Struct. Comput. Sci. 10, No. 2, 231-259 (2000). Reviewer: S.V.Solov’ev (Toulouse) MSC: 03G30 03F52 03C65 × Cite Format Result Cite Review PDF Full Text: DOI
Cockett, J. R. B.; Koslowski, J.; Seely, R. A. G. Introduction to linear bicategories. (English) Zbl 0991.18007 Math. Struct. Comput. Sci. 10, No. 2, 165-203 (2000). Reviewer: K.I.Rosenthal (Schenectady) MSC: 18D05 03F52 18A40 × Cite Format Result Cite Review PDF Full Text: DOI
Bucciarelli, Antonio; Ehrhard, Thomas On phase semantics and denotational semantics in multiplicative-additive linear logic. (English) Zbl 0949.03057 Ann. Pure Appl. Logic 102, No. 3, 247-282 (2000). MSC: 03F52 68Q55 03B70 03F05 × Cite Format Result Cite Review PDF Full Text: DOI
Paseka, J. Hilbert \(Q\)-modules and nuclear ideals in the category of \(\bigvee\)-semilattices with a duality. (English) Zbl 0961.18004 Hofmann, Martin (ed.) et al., CTCS ’99. Conference on category theory and computer science, Edinburgh, GB, September 10-12, 1999. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 29, 19 p., electronic only (1999). MSC: 18B35 03B47 06D22 18A30 18A40 18D05 18D15 × Cite Format Result Cite Review PDF
Lincoln, Patrick D.; Mitchell, John C.; Scedrov, Andre Optimization complexity of linear logic proof games. (English) Zbl 0951.03056 Theor. Comput. Sci. 227, No. 1-2, 299-331 (1999). MSC: 03F52 03D15 68Q17 × Cite Format Result Cite Review PDF Full Text: DOI
Pereira, Luiz Carlos P. D.; Haeusler, Edward Hermann An infinitary extension of \(\text{MALL}^-\). (English) Zbl 0947.03030 Bull. Sect. Log., Univ. Łódź, Dep. Log. 28, No. 4, 225-233 (1999). MSC: 03B47 03F52 × Cite Format Result Cite Review PDF
Balat, Vincent; Di Cosmo, Roberto A linear logical view of linear type isomorphisms. (English) Zbl 0943.03048 Flum, Jörg (ed.) et al., Computer science logic. 13th international workshop, CSL ’99. 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1683, 250-265 (1999). MSC: 03F52 03B70 03B40 × Cite Format Result Cite Review PDF
de Groote, Philippe An algebraic correctness criterion for intuitionistic multiplicative proof-nets. (English) Zbl 0930.03094 Theor. Comput. Sci. 224, No. 1-2, 115-134 (1999). MSC: 03F52 03F07 03B70 × Cite Format Result Cite Review PDF Full Text: DOI
Cockett, J. R. B.; Seely, R. A. G. Linearly distributive functors. (English) Zbl 0946.18005 J. Pure Appl. Algebra 143, No. 1-3, 155-203 (1999). Reviewer: P.T.Johnstone (Cambridge) MSC: 18D25 03B60 03F07 18D10 03G30 68Q55 18A22 × Cite Format Result Cite Review PDF Full Text: DOI
Schneck, Robert R. Natural deduction and coherence for non-symmetric linearly distributive categories. (English) Zbl 0932.03075 Theory Appl. Categ. 6, 105-146 (1999). MSC: 03G30 03F52 03F05 18D10 18D15 03F07 × Cite Format Result Cite Review PDF Full Text: EuDML EMIS
O’Hearn, Peter W. Resource interpretations, bunched implications and the \(\alpha\lambda\)-calculus. (Preliminary version). (English) Zbl 0931.03025 Girard, Jean-Yves (ed.), Typed lambda calculi and applications. 4th international conference, TLCA ’99. L’Aquila, Italy, April 7–9, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1581, 258-279 (1999). MSC: 03B40 03B47 × Cite Format Result Cite Review PDF
Abrusci, V. Michele Modules in non-commutative logic. (English) Zbl 0931.03068 Girard, Jean-Yves (ed.), Typed lambda calculi and applications. 4th international conference, TLCA ’99. L’Aquila, Italy, April 7–9, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1581, 14-24 (1999). MSC: 03F07 03F52 03B70 × Cite Format Result Cite Review PDF
O’Hearn, Peter W.; Pym, David J. The logic of bunched implications. (English) Zbl 0930.03095 Bull. Symb. Log. 5, No. 2, 215-244 (1999). MSC: 03F52 03G30 03B20 03B47 × Cite Format Result Cite Review PDF Full Text: DOI Link
Blute, R. F.; Scott, P. J. The shuffle Hopf algebra and noncommutative full completeness. (English) Zbl 0926.03077 J. Symb. Log. 63, No. 4, 1413-1436 (1998). MSC: 03F52 03G30 03G25 03F05 18D20 × Cite Format Result Cite Review PDF Full Text: DOI Link
Mantel, Heiko; Kreitz, Christoph A matrix characterization for \(\mathcal{MELL}\). (English) Zbl 0928.03009 Dix, Jürgen (ed.) et al., Logics in artificial intelligence. European workshop, JELIA ’98. Dagstuhl, Germany, October 12–15, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1489, 169-183 (1998). MSC: 03B35 03B47 × Cite Format Result Cite Review PDF
Abrusci, V. Michele; Maringelli, Elena A new correctness criterion for cyclic proof nets. (English) Zbl 0915.03046 J. Logic Lang. Inf. 7, No. 4, 449-459 (1998). MSC: 03F07 03B47 × Cite Format Result Cite Review PDF Full Text: DOI
Avron, A. Multiplicative conjunction and an algebraic meaning of contraction and weakening. (English) Zbl 0916.03041 J. Symb. Log. 63, No. 3, 831-859 (1998). MSC: 03F50 03B47 × Cite Format Result Cite Review PDF Full Text: DOI
Braüner, Torben; de Paiva, Valeria A formulation of linear logic based on dependency-relations. (English) Zbl 0910.03034 Nielsen, Mogens (ed.) et al., Computer science logic. 11th international workshop, CSL ’97. Annual conference of the EACSL, Aarhus, Denmark, August 23–29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1414, 129-148 (1998). MSC: 03F05 03B20 × Cite Format Result Cite Review PDF
Pentus, Mati Free monoid completeness of the Lambek calculus allowing empty premises. (English) Zbl 0920.03042 Larrazabal, J. M. (ed.) et al., Logic colloquium ’96. Proceedings of the colloquium, San Sebastián, Spain, July 9–15, 1996. Berlin: Springer. Lect. Notes Log. 12, 171-209 (1998). Reviewer: Mirosława Kołowska-Gawiejnowicz (Poznań) MSC: 03B65 03C90 03B60 68T50 × Cite Format Result Cite Review PDF
Bellin, G.; Fleury, A. Planar and braided proof-nets for multiplicative linear logic with mix. (English) Zbl 0905.03037 Arch. Math. Logic 37, No. 5-6, 309-325 (1998). MSC: 03F07 05C10 03F05 × Cite Format Result Cite Review PDF Full Text: DOI
Avron, Arnon Multiplicative conjunction as an extensional conjunction. (English) Zbl 0867.03019 Log. J. IGPL 5, No. 2, 181-208 (1997). MSC: 03F05 03B20 03B47 03B53 × Cite Format Result Cite Review PDF Full Text: DOI Link
Matsuoka, Satoshi A new proof search method for linear logic. (English) Zbl 0936.03057 Bridges, D. S. (ed.) et al., Combinatorics, complexity, and logic. Proceedings of the 1st international conference on discrete mathematics and theoretical computer science, DMTCS ’96, Auckland, New Zealand, December 9-13, 1996. Berlin: Springer. 338-350 (1997). Reviewer: Lorenzo Tortora de Falco (Paris) MSC: 03F52 03F07 03F20 × Cite Format Result Cite Review PDF
Martini, Simone; Masini, Andrea Experiments in linear natural deduction. (English) Zbl 0895.03022 Theor. Comput. Sci. 176, No. 1-2, 159-173 (1997). MSC: 03F03 03B70 × Cite Format Result Cite Review PDF Full Text: DOI
Bellin, Gianluigi Subnets of proof-nets in multiplicative linear logic with MIX. (English) Zbl 0893.03019 Math. Struct. Comput. Sci. 7, No. 6, 663-699 (1997). MSC: 03F07 68Q10 × Cite Format Result Cite Review PDF Full Text: DOI
Pentus, Mati Equivalence of multiplicative fragments of cyclic linear logic and noncommutative linear logic. (English) Zbl 0888.03036 Adian, S. (ed.) et al., Logical foundations of computer science. 4th international symposium, LFCS ’97, Yaroslavl, Russia, July 6–12, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1234, 306-311 (1997). MSC: 03F03 03B20 × Cite Format Result Cite Review PDF
Marion, Jean-Yves Case study: Additive linear logic and lattices. (English) Zbl 0888.03035 Adian, S. (ed.) et al., Logical foundations of computer science. 4th international symposium, LFCS ’97, Yaroslavl, Russia, July 6–12, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1234, 237-247 (1997). MSC: 03F03 03B20 × Cite Format Result Cite Review PDF
Kopylov, Alexei P. The undecidability of second order linear affine logic. (English) Zbl 0887.03035 Adian, S. (ed.) et al., Logical foundations of computer science. 4th international symposium, LFCS ’97, Yaroslavl, Russia, July 6–12, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1234, 156-166 (1997). MSC: 03D35 03D10 03B20 × Cite Format Result Cite Review PDF
de Groote, Philippe An algebraic correctness criterion for intuitionistic proof-nets. (English) Zbl 0887.03042 Adian, S. (ed.) et al., Logical foundations of computer science. 4th international symposium, LFCS ’97, Yaroslavl, Russia, July 6–12, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1234, 130-140 (1997). MSC: 03F07 03B20 × Cite Format Result Cite Review PDF
Retoré, Christian A semantic characterisation of the correctness of a proof net. (English) Zbl 0883.03041 Math. Struct. Comput. Sci. 7, No. 5, 445-452 (1997). MSC: 03F07 × Cite Format Result Cite Review PDF Full Text: DOI
Japaridze, Giorgi A constructive game semantics for the language of linear logic. (English) Zbl 0882.03057 Ann. Pure Appl. Logic 85, No. 2, 87-156 (1997). Reviewer: G.Mints (Stanford) MSC: 03F50 68T20 68Q55 03B20 03B60 03B70 03B25 × Cite Format Result Cite Review PDF Full Text: DOI
Piazza, Mario; Castellan, Maurizio Quantales and structural rules. (English) Zbl 0861.03048 J. Log. Comput. 6, No. 5, 709-724 (1996). Reviewer: R.Maddux (Ames) MSC: 03G25 06F05 03B20 × Cite Format Result Cite Review PDF Full Text: DOI
Girard, Jean-Yves Proof-nets: The parallel syntax for proof-theory. (English) Zbl 0868.03025 Ursini, Aldo (ed.) et al., Logic and algebra. Proceedings of the international conference dedicated to the memory of Roberto Magari, April 26–30, 1994, Pontignano, Italy. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 180, 97-124 (1996). Reviewer: G.Mints (Stanford) MSC: 03F05 × Cite Format Result Cite Review PDF
Prijatelj, Andreja Free algebras corresponding to multiplicative classical linear logic and some of its extensions. (English) Zbl 0862.03042 Notre Dame J. Formal Logic 37, No. 1, 53-70 (1996). Reviewer: M.Abad (Bahia Blanca) MSC: 03G25 03B20 × Cite Format Result Cite Review PDF Full Text: DOI
Lafont, Yves The undecidability of second order linear logic without exponentials. (English) Zbl 0866.03005 J. Symb. Log. 61, No. 2, 541-548 (1996). MSC: 03B25 03B20 03D05 × Cite Format Result Cite Review PDF Full Text: DOI Link
Blute, R. F.; Scott, P. J. Linear Läuchli semantics. (English) Zbl 0856.03006 Ann. Pure Appl. Logic 77, No. 2, 101-142 (1996). Reviewer: R.F.Blute (Ottawa) MSC: 03B20 03G30 03F05 × Cite Format Result Cite Review PDF Full Text: DOI
Lafont, Yves; Scedrov, Andre The undecidability of second order multiplicative linear logic. (English) Zbl 0852.03003 Inf. Comput. 125, No. 1, 46-51 (1996). Reviewer: Y.Lafont (Marseille) MSC: 03B25 03F99 03D10 03B20 68Q05 × Cite Format Result Cite Review PDF Full Text: DOI
Nagayama, Misao; Okada, Mitsuhiro A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic. (Extended abstract). (English) Zbl 0909.03046 Girard, Jean-Yves (ed.) et al., Linear logic 96. Papers from the meeting, Keio Univ., Tokyo, Japan, March 28 - April 2, 1996. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 3, 11 p. (1996). MSC: 03F07 03B20 × Cite Format Result Cite Review PDF Full Text: Link
Mêtayer, François Some remarks on cyclic linear logic. (Preliminary report). (English) Zbl 0908.03012 Girard, Jean-Yves (ed.) et al., Linear logic 96. Papers from the meeting, Keio Univ., Tokyo, Japan, March 28 - April 2, 1996. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 3, 8 p. (1996). MSC: 03B20 03B25 × Cite Format Result Cite Review PDF Full Text: Link
Lincoln, Patrick D.; Mitchell, John C.; Scedrov, Andre The complexity of local proof search in linear logic. (Extended abstract). (English) Zbl 0908.03051 Girard, Jean-Yves (ed.) et al., Linear logic 96. Papers from the meeting, Keio Univ., Tokyo, Japan, March 28 - April 2, 1996. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 3, 10 p. (1996). MSC: 03F07 03B20 03B25 03D15 68Q25 68Q15 × Cite Format Result Cite Review PDF Full Text: Link
Blute, R. F.; Scott, P. J. A noncommutative full completeness theorem. (Extended abstract). (English) Zbl 0908.03048 Girard, Jean-Yves (ed.) et al., Linear logic 96. Papers from the meeting, Keio Univ., Tokyo, Japan, March 28 - April 2, 1996. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 3, 11 p. (1996). MSC: 03F05 03B20 18A23 × Cite Format Result Cite Review PDF Full Text: Link
Mints, Gregory Normal forms for sequent derivations. (English) Zbl 0897.03053 Odifreddi, Piergiorgio (ed.), Kreiseliana: about and around Georg Kreisel. Wellesley, MA: A K Peters. 469-492 (1996). Reviewer: V.Peckhaus (Erlangen) MSC: 03F05 03B20 03F50 × Cite Format Result Cite Review PDF
Abramsky, Samson; McCusker, Guy Games for recursive types. (English) Zbl 0840.03054 Hankin, C. (ed.) et al., Theory and formal methods of computing 94. Proceedings of the second Imperial College workshop held in Cambridge, UK, September 11-14, 1994. Singapore: Imperial College Press (distrib. by World Scientific). 1-20 (1995). MSC: 03G30 68Q55 91A80 18C20 × Cite Format Result Cite Review PDF
Asperti, Andrea Causal dependencies in multiplicative linear logic with MIX. (English) Zbl 0852.03022 Math. Struct. Comput. Sci. 5, No. 3, 351-380 (1995). MSC: 03F03 68Q10 × Cite Format Result Cite Review PDF Full Text: DOI
Kopylov, Alexey P. On \(\text{NP}\)-completeness in linear logic. (English) Zbl 0836.03008 Ann. Pure Appl. Logic 75, No. 1-2, 137-152 (1995). MSC: 03B20 03D15 × Cite Format Result Cite Review PDF Full Text: DOI
Métayer, François Volume of multiplicative formulas and provability. (English) Zbl 0826.03003 Girard, Jean-Yves (ed.) et al., Advances in linear logic. Based on the linear logic workshop held June 14-18, 1993 at the Mathematical Sciences Institute, Cornell University, Ithaca, New York, USA. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 222, 297-306 (1995). MSC: 03B20 03F07 × Cite Format Result Cite Review PDF
Abrusci, V. Michele Noncommutative proof nets. (English) Zbl 0828.03028 Girard, Jean-Yves (ed.) et al., Advances in linear logic. Based on the linear logic workshop held June 14-18, 1993 at the Mathematical Sciences Institute, Cornell University, Ithaca, New York, USA. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 222, 271-296 (1995). Reviewer: G.Mints (Stanford) MSC: 03F07 × Cite Format Result Cite Review PDF
Bellin, G.; van de Wiele, J. Subnets of proof-nets in \({\mathbf {MLL}}^ -\). (English) Zbl 0826.03025 Girard, Jean-Yves (ed.) et al., Advances in linear logic. Based on the linear logic workshop held June 14-18, 1993 at the Mathematical Sciences Institute, Cornell University, Ithaca, New York, USA. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 222, 249-270 (1995). MSC: 03F07 03B20 × Cite Format Result Cite Review PDF
Lafont, Yves From proof-nets to interaction nets. (English) Zbl 0830.03028 Girard, Jean-Yves (ed.) et al., Advances in linear logic. Based on the linear logic workshop held June 14-18, 1993 at the Mathematical Sciences Institute, Cornell University, Ithaca, New York, USA. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 222, 225-247 (1995). Reviewer: S.Martini (Pisa) MSC: 03F03 03B20 68Q42 68Q05 × Cite Format Result Cite Review PDF
Martini, Simone; Masini, Andrea On the fine structure of the exponential rule. (English) Zbl 0835.03020 Girard, Jean-Yves (ed.) et al., Advances in linear logic. Based on the linear logic workshop held June 14-18, 1993 at the Mathematical Sciences Institute, Cornell University, Ithaca, New York, USA. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 222, 197-210 (1995). Reviewer: H.Pfeiffer (Hannover) MSC: 03F03 03F05 03B20 × Cite Format Result Cite Review PDF
Lincoln, Patrick D.; Mitchell, John C.; Scedrov, Andre Stochastic interaction and linear logic. (English) Zbl 0829.03032 Girard, Jean-Yves (ed.) et al., Advances in linear logic. Based on the linear logic workshop held June 14-18, 1993 at the Mathematical Sciences Institute, Cornell University, Ithaca, New York, USA. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 222, 147-166 (1995). Reviewer: G.Mints (Stanford) MSC: 03F05 03B20 68Q25 × Cite Format Result Cite Review PDF
Blass, Andreas Questions and answers – a category arising in linear logic, complexity theory, and set theory. (English) Zbl 0823.03039 Girard, Jean-Yves (ed.) et al., Advances in linear logic. Based on the linear logic workshop held June 14-18, 1993 at the Mathematical Sciences Institute, Cornell University, Ithaca, New York, USA. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 222, 61-81 (1995). MSC: 03G30 03E05 68Q25 03F65 03E75 18B99 × Cite Format Result Cite Review PDF Full Text: arXiv
Borisavljević, Mirjana Linear multicategories. (English) Zbl 0880.03035 Kočinac, Ljubiša D. (ed.), Proceedings of the mathematical conference in Priština (YU), September 28 – October 1, 1994. Priština: Univ. of Priština, Faculty of Sciences, 7-15 (1995). MSC: 03G30 03B40 03B20 03B70 18D99 × Cite Format Result Cite Review PDF
Lincoln, Patrick; Winkler, Timothy Constant-only multiplicative linear logic is NP-complete. (English) Zbl 0826.03002 Theor. Comput. Sci. 135, No. 1, 155-169 (1994). Reviewer: A.Biela (Katowice) MSC: 03B20 03D15 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI
Monteiro, Eric Linear logic as CSP. (English) Zbl 0824.03030 J. Log. Comput. 4, No. 4, 405-421 (1994). Reviewer: H.Herre (Leipzig) MSC: 03F05 68Q10 03B20 68Q05 × Cite Format Result Cite Review PDF Full Text: DOI
Abramsky, Samson; Jagadeesan, Radha Games and full completeness for multiplicative linear logic. (English) Zbl 0822.03007 J. Symb. Log. 59, No. 2, 543-574 (1994). Reviewer: M.Zakharyaschev (Berlin) MSC: 03B20 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link
Fleury, Arnaud; Retoré, Christian The mix rule. (English) Zbl 0810.03004 Math. Struct. Comput. Sci. 4, No. 2, 273-285 (1994). Reviewer: R.S.Lubarsky (Lancaster) MSC: 03B20 03F07 03G30 18C10 × Cite Format Result Cite Review PDF Full Text: DOI
Métayer, François Homology of proof-nets. (English) Zbl 0795.03077 Arch. Math. Logic 33, No. 3, 169-188 (1994). Reviewer: F.Métayer MSC: 03F07 × Cite Format Result Cite Review PDF Full Text: DOI
Mackie, Ian; Román, Leopoldo; Abramsky, Samson An internal language for autonomous categories. (English) Zbl 0806.03044 Appl. Categ. Struct. 1, No. 3, 311-343 (1993). Reviewer: P.Bankston (Milwaukee/WI) MSC: 03G30 18D15 03B20 × Cite Format Result Cite Review PDF Full Text: DOI
Benton, Nick; Bierman, Gavin; de Paiva, Valeria; Hyland, Martin Linear \(\lambda\)-calculus and categorical models revisited. (English) Zbl 0840.03003 Börger, Egon (ed.) et al., Computer science logic. 6th workshop, CSL ’92, San Miniato, Italy, September 28 - October 2, 1992. Selected papers. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 702, 61-84 (1993). MSC: 03B20 03F05 03B40 03G30 × Cite Format Result Cite Review PDF
Hyland, Martin; de Paiva, Valeria Full intuitionistic linear logic. (English) Zbl 0873.03006 Ann. Pure Appl. Logic 64, No. 3, 273-291 (1993). MSC: 03B20 03F05 03G30 03F50 × Cite Format Result Cite Review PDF Full Text: DOI
Blute, Richard Linear logic, coherence and dinaturality. (English) Zbl 0782.18001 Theor. Comput. Sci. 115, No. 1, 3-41 (1993). Reviewer: S.V.Solov’ev (Aarhus) MSC: 18D15 03F03 03B20 18A23 03G30 × Cite Format Result Cite Review PDF Full Text: DOI