Maietti, Maria Emilia; Trotta, Davide A characterization of generalized existential completions. (English) Zbl 1506.18008 Ann. Pure Appl. Logic 174, No. 4, Article ID 103234, 37 p. (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C10 18C50 03G30 18D30 PDFBibTeX XMLCite \textit{M. E. Maietti} and \textit{D. Trotta}, Ann. Pure Appl. Logic 174, No. 4, Article ID 103234, 37 p. (2023; Zbl 1506.18008) Full Text: DOI
Maieli, Roberto Non decomposable connectives of linear logic. (English) Zbl 07114342 Ann. Pure Appl. Logic 170, No. 11, Article ID 102709, 27 p. (2019). MSC: 03F52 03F05 03F07 PDFBibTeX XMLCite \textit{R. Maieli}, Ann. Pure Appl. Logic 170, No. 11, Article ID 102709, 27 p. (2019; Zbl 07114342) Full Text: DOI HAL
Hasuo, Ichiro; Hoshino, Naohiko Semantics of higher-order quantum computation via geometry of interaction. (English) Zbl 1422.68161 Ann. Pure Appl. Logic 168, No. 2, 404-469 (2017). MSC: 68Q55 03B70 18C20 18C50 68Q05 81P68 PDFBibTeX XMLCite \textit{I. Hasuo} and \textit{N. Hoshino}, Ann. Pure Appl. Logic 168, No. 2, 404--469 (2017; Zbl 1422.68161) Full Text: DOI arXiv
Melliès, Paul-André A micrological study of negation. (English) Zbl 1454.03082 Ann. Pure Appl. Logic 168, No. 2, 321-372 (2017). MSC: 03F52 18A15 18M05 18D15 PDFBibTeX XMLCite \textit{P.-A. Melliès}, Ann. Pure Appl. Logic 168, No. 2, 321--372 (2017; Zbl 1454.03082) Full Text: DOI
Slavnov, Sergey Modeling linear logic with implicit functions. (English) Zbl 1345.03113 Ann. Pure Appl. Logic 165, No. 1, 357-370 (2014). MSC: 03F52 03G30 58A40 58C15 PDFBibTeX XMLCite \textit{S. Slavnov}, Ann. Pure Appl. Logic 165, No. 1, 357--370 (2014; Zbl 1345.03113) Full Text: DOI
Belkhir, Walid; Santocanale, Luigi The variable hierarchy for the games \(\mu \)-calculus. (English) Zbl 1225.03028 Ann. Pure Appl. Logic 161, No. 5, 690-707 (2010). MSC: 03B70 03B45 91A80 PDFBibTeX XMLCite \textit{W. Belkhir} and \textit{L. Santocanale}, Ann. Pure Appl. Logic 161, No. 5, 690--707 (2010; Zbl 1225.03028) Full Text: DOI
Melliès, Paul-André; Tabareau, Nicolas Resource modalities in tensor logic. (English) Zbl 1223.03048 Ann. Pure Appl. Logic 161, No. 5, 632-653 (2010). MSC: 03F52 03B70 18C50 PDFBibTeX XMLCite \textit{P.-A. Melliès} and \textit{N. Tabareau}, Ann. Pure Appl. Logic 161, No. 5, 632--653 (2010; Zbl 1223.03048) Full Text: DOI
Došen, Kosta; Petrić, Zoran Coherence in linear predicate logic. (English) Zbl 1168.03046 Ann. Pure Appl. Logic 158, No. 1-2, 125-153 (2009). Reviewer: Branislav Boričić (Beograd) MSC: 03F52 03F05 18A15 18D15 PDFBibTeX XMLCite \textit{K. Došen} and \textit{Z. Petrić}, Ann. Pure Appl. Logic 158, No. 1--2, 125--153 (2009; Zbl 1168.03046) Full Text: DOI arXiv
Cockett, J. R. B.; Hofstra, P. J. W. Introduction to Turing categories. (English) Zbl 1155.03030 Ann. Pure Appl. Logic 156, No. 2-3, 183-209 (2008). MSC: 03D75 03B40 18A15 18C50 68Q05 PDFBibTeX XMLCite \textit{J. R. B. Cockett} and \textit{P. J. W. Hofstra}, Ann. Pure Appl. Logic 156, No. 2--3, 183--209 (2008; Zbl 1155.03030) 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 PDFBibTeX XMLCite \textit{L. Méhats} and \textit{S. Soloviev}, Ann. Pure Appl. Logic 147, No. 3, 127--179 (2007; Zbl 1117.18005) Full Text: DOI
Hamano, Masahiro; Scott, Philip A categorical semantics for polarized MALL. (English) Zbl 1125.03045 Ann. Pure Appl. Logic 145, No. 3, 276-313 (2007). Reviewer: Michel Eytan (Strasbourg) MSC: 03F52 03G30 PDFBibTeX XMLCite \textit{M. Hamano} and \textit{P. Scott}, Ann. Pure Appl. Logic 145, No. 3, 276--313 (2007; Zbl 1125.03045) Full Text: DOI
Došen, Kosta; Petrić, Zoran Coherence for star-autonomous categories. (English) Zbl 1106.18004 Ann. Pure Appl. Logic 141, No. 1-2, 225-242 (2006). Reviewer: Serguei V. Solov’ev (Toulouse) MSC: 18D10 18A15 03F05 03G30 18D15 PDFBibTeX XMLCite \textit{K. Došen} and \textit{Z. Petrić}, Ann. Pure Appl. Logic 141, No. 1--2, 225--242 (2006; Zbl 1106.18004) Full Text: DOI arXiv
Fiore, Marcelo; Di Cosmo, Roberto; Balat, Vincent Remarks on isomorphisms in typed lambda calculi with empty and sum types. (English) Zbl 1099.03011 Ann. Pure Appl. Logic 141, No. 1-2, 35-50 (2006). MSC: 03B40 PDFBibTeX XMLCite \textit{M. Fiore} et al., Ann. Pure Appl. Logic 141, No. 1--2, 35--50 (2006; Zbl 1099.03011) 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 PDFBibTeX XMLCite \textit{S. Slavnov}, Ann. Pure Appl. Logic 131, No. 1--3, 177--225 (2005; Zbl 1068.03053) 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 PDFBibTeX XMLCite \textit{R. Blute} et al., Ann. Pure Appl. Logic 131, No. 1--3, 1--63 (2005; Zbl 1065.03041) Full Text: DOI
Hyland, J. M. E. Proof theory in the abstract. (English) Zbl 1007.03056 Ann. Pure Appl. Logic 114, No. 1-3, 43-78 (2002). Reviewer: Reinhard Kahle (Caparica) MSC: 03G30 03F07 03F10 03F52 PDFBibTeX XMLCite \textit{J. M. E. Hyland}, Ann. Pure Appl. Logic 114, No. 1--3, 43--78 (2002; Zbl 1007.03056) Full Text: DOI
Hamano, Masahiro \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic. (English) Zbl 0968.03072 Ann. Pure Appl. Logic 107, No. 1-3, 165-191 (2001). MSC: 03F52 03F07 68Q55 03F05 03G30 18C50 PDFBibTeX XMLCite \textit{M. Hamano}, Ann. Pure Appl. Logic 107, No. 1--3, 165--191 (2001; Zbl 0968.03072) Full Text: DOI
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 PDFBibTeX XMLCite \textit{R. F. Blute} and \textit{P. J. Scott}, Ann. Pure Appl. Logic 77, No. 2, 101--142 (1996; Zbl 0856.03006) Full Text: DOI
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 PDFBibTeX XMLCite \textit{M. Hyland} and \textit{V. de Paiva}, Ann. Pure Appl. Logic 64, No. 3, 273--291 (1993; Zbl 0873.03006) Full Text: DOI