Bierman, G. M.; de Paiva, Valeria Intuitionistic necessity revisited. (English) Zbl 1041.03013 Haeusler, Edward Hermann (ed.) et al., PRATICA. Proofs, types and categories. Selected papers from PRATICA’95, PRATICA’96 and PRATICA’98. Rio de Janeiro: Pontifícia Universidade Católica do Rio de Janeiro (ISBN 85-900900-1-9/pbk). 55-78 (1999). MSC: 03B45 03G30 PDFBibTeX XMLCite \textit{G. M. Bierman} and \textit{V. de Paiva}, in: PRATICA. Proofs, types and categories. Selected papers from PRATICA'95, PRATICA'96 and PRATICA'98. Rio de Janeiro: Pontifícia Universidade Católica do Rio de Janeiro. 55--78 (1999; Zbl 1041.03013)
Restall, Greg An introduction to substructural logics. (English) Zbl 1028.03018 London: Routledge. xiv, 381 p. (1999). Reviewer: Osamu Sonobe (Follonica) MSC: 03B47 03-02 03F52 03-01 03F05 PDFBibTeX XMLCite \textit{G. Restall}, An introduction to substructural logics. London: Routledge (1999; Zbl 1028.03018)
Ghilezan, Silvia Natural deduction and sequent typed lambda calculus. (English) Zbl 1006.03013 Novi Sad J. Math. 29, No. 2, 209-220 (1999). Reviewer: Branislav Boričić (Beograd) MSC: 03B40 03F05 PDFBibTeX XMLCite \textit{S. Ghilezan}, Novi Sad J. Math. 29, No. 2, 209--220 (1999; Zbl 1006.03013) Full Text: EuDML
Bystrov, P. I. Mutual transformation of sequent and natural deductions in modal logic. (Russian. English summary) Zbl 1004.03016 Karpenko, A. S. (ed.) et al., Logical investigations. No. 6. Papers from the 1st international conference “Smirnov’s Readings”, Moscow, Russia, March 1997. Moscow: Izdatel’stvo “Rossijskaya Politicheskaya Ehntsiklopediya” (ROSSPEHN). 61-68 (1999). MSC: 03B45 PDFBibTeX XMLCite \textit{P. I. Bystrov}, in: Logicheskie issledovaniya. Vyp. 6. Moscow: Izdatel'stvo ``Rossijskaya Politicheskaya Ehntsiklopediya'' (ROSSPEHN). 61--68 (1999; Zbl 1004.03016)
Tamminga, Allard M.; Tanaka, Koji A natural deduction system for first degree entailment. (English) Zbl 0967.03018 Notre Dame J. Formal Logic 40, No. 2, 258-272 (1999). MSC: 03B47 PDFBibTeX XMLCite \textit{A. M. Tamminga} and \textit{K. Tanaka}, Notre Dame J. Formal Logic 40, No. 2, 258--272 (1999; Zbl 0967.03018) Full Text: DOI
Sande e Oliveira, Denise Aboim; de Souza, Clarisse Sieckenius; Haeusler, Edward Hermann Structured argument generation in a logic-based KB-system. (English) Zbl 0956.03033 Moss, Lawrence S. (ed.) et al., Logic, language and computation. Vol 2. Proceedings of the 2nd conference on information-theoretic approaches to logic, language and computation (ITALLC), London, UK, July 1996. Stanford, CA: CSLI Publications. CSLI Lect. Notes. 96, 237-265 (1999). MSC: 03B70 68T30 68T35 03B35 PDFBibTeX XMLCite \textit{D. A. Sande e Oliveira} et al., in: Logic, language and computation. Vol 2. Proceedings of the 2nd conference on information-theoretic approaches to logic, language and computation (ITALLC), London, UK, July 1996. Stanford, CA: CSLI Publications. 237--265 (1999; Zbl 0956.03033)
Ogata, Ichiro A CPS-transform of constructive classical logic. (English) Zbl 0954.03063 Thiagarajan, P. S. (ed.) et al., Advances in computing science - ASIAN ’99. 5th Asian computing science conference, Phuket, Thailand, December 8-10, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1742, 266-280 (1999). MSC: 03F05 68Q60 03B40 68N18 PDFBibTeX XMLCite \textit{I. Ogata}, Lect. Notes Comput. Sci. 1742, 266--280 (1999; Zbl 0954.03063)
Bierman, G. M. A classical linear \(\lambda\)-calculus. (English) Zbl 0952.03071 Theor. Comput. Sci. 227, No. 1-2, 43-78 (1999). MSC: 03F52 03B40 68N18 PDFBibTeX XMLCite \textit{G. M. Bierman}, Theor. Comput. Sci. 227, No. 1--2, 43--78 (1999; Zbl 0952.03071) Full Text: DOI
Nielsen, Michael Florentin Modal logic and the Curry-Howard isomorphism. (English) Zbl 0944.03022 Copenhagen: Univ. of Copenhagen, Department of Computer Science, 52 p. (1999). MSC: 03B70 03B45 03B40 68Q60 03-02 68-02 PDFBibTeX XMLCite \textit{M. F. Nielsen}, Modal logic and the Curry-Howard isomorphism. Copenhagen: Univ. of Copenhagen, Department of Computer Science (1999; Zbl 0944.03022)
Moortgat, Michael Labelled deduction in the composition of form and meaning. (English) Zbl 0968.03033 Ohlbach, Hans Jürgen (ed.) et al., Logic, language and reasoning. Essays in honour of Dov Gabbay. Dordrecht: Kluwer Academic Publishers. Trends Log. Stud. Log. Libr. 5, 377-399 (1999). Reviewer: Mirosława Kołowska-Gawiejnowicz (Poznań) MSC: 03B65 03B47 03F52 PDFBibTeX XMLCite \textit{M. Moortgat}, Trends Log. Stud. Log. Libr. 5, 377--399 (1999; Zbl 0968.03033)
Broda, Krysia; D’Agostino, Marcello; Russo, Alessandra Transformation methods in LDS. (English) Zbl 0954.03009 Ohlbach, Hans Jürgen (ed.) et al., Logic, language and reasoning. Essays in honour of Dov Gabbay. Dordrecht: Kluwer Academic Publishers. Trends Log. Stud. Log. Libr. 5, 335-376 (1999). Reviewer: Mirosława Kołowska-Gawiejnowicz (Poznań) MSC: 03B22 PDFBibTeX XMLCite \textit{K. Broda} et al., Trends Log. Stud. Log. Libr. 5, 335--376 (1999; Zbl 0954.03009)
de Queiroz, Ruy J. G. B.; Gabbay, Dov M. Labelled natural deduction. (English) Zbl 0954.03008 Ohlbach, Hans Jürgen (ed.) et al., Logic, language and reasoning. Essays in honour of Dov Gabbay. Dordrecht: Kluwer Academic Publishers. Trends Log. Stud. Log. Libr. 5, 173-250 (1999). Reviewer: Mirosława Kołowska-Gawiejnowicz (Poznań) MSC: 03B22 03F05 03F52 03B70 PDFBibTeX XMLCite \textit{R. J. G. B. de Queiroz} and \textit{D. M. Gabbay}, Trends Log. Stud. Log. Libr. 5, 173--250 (1999; Zbl 0954.03008)
van Benthem, Johan Proofs, labels and dynamics in natural language. (English) Zbl 0960.03023 Ohlbach, Hans Jürgen (ed.) et al., Logic, language and reasoning. Essays in honour of Dov Gabbay. Dordrecht: Kluwer Academic Publishers. Trends Log. Stud. Log. Libr. 5, 31-41 (1999). Reviewer: Pavel Materna (Praha) MSC: 03B65 03B45 03F52 03B47 03B40 PDFBibTeX XMLCite \textit{J. van Benthem}, Trends Log. Stud. Log. Libr. 5, 31--41 (1999; Zbl 0960.03023)
Monz, Christof Contextual inference in computational semantics. (English) Zbl 0958.68159 Bouquet, Paolo (ed.) et al., Modeling and using context. 2nd international and interdisciplinary conference, CONTEXT ’99, Trento, Italy, September 9-11, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1688, 242-255 (1999). MSC: 68T15 68T50 PDFBibTeX XMLCite \textit{C. Monz}, Lect. Notes Comput. Sci. 1688, 242--255 (1999; Zbl 0958.68159)
Wirsing, Martin; Crossley, John N.; Peterreins, Hannes Proof normalization of structured algebraic specifications is convergent. (English) Zbl 0946.03039 Fiadeiro, José Luiz (ed.), Recent trends in algebraic development techniques. 13th international workshop, WADT ’98, Lisbon, Portugal, April 2-4, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1589, 326-340 (1999). MSC: 03B70 68Q65 03F05 03B40 PDFBibTeX XMLCite \textit{M. Wirsing} et al., Lect. Notes Comput. Sci. 1589, 326--340 (1999; Zbl 0946.03039)
Konikowska, Beata Rasiowa-Sikorski deduction systems: A handy tool for computer science logics. (English) Zbl 0949.03006 Fiadeiro, José Luiz (ed.), Recent trends in algebraic development techniques. 13th international workshop, WADT ’98, Lisbon, Portugal, April 2-4, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1589, 183-197 (1999). Reviewer: M.Duží (Opava) MSC: 03B22 03B70 03B10 03B50 PDFBibTeX XMLCite \textit{B. Konikowska}, Lect. Notes Comput. Sci. 1589, 183--197 (1999; Zbl 0949.03006)
Indrzejczak, Andrzej A survey of natural deduction systems for modal logics. (English) Zbl 0941.03019 Log. Trianguli 3, 55-83 (1999). MSC: 03B45 PDFBibTeX XMLCite \textit{A. Indrzejczak}, Log. Trianguli 3, 55--83 (1999; Zbl 0941.03019)
Miculan, Marino Formalizing a lazy substitution proof system for \(\mu\)-calculus in the calculus of inductive constructions. (English) Zbl 0939.03024 Wiedermann, Jiří (ed.) et al., Automata, languages and programming. 26th international colloquium, ICALP ‘99. Prague, Czech Republic, July 11-15, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1644, 554-564 (1999). MSC: 03B44 03B35 68T15 68Q42 PDFBibTeX XMLCite \textit{M. Miculan}, Lect. Notes Comput. Sci. 1644, 554--564 (1999; Zbl 0939.03024)
de Groote, Philippe On the strong normalisation of natural deduction with permutation-conversions. (English) Zbl 0939.03061 Narendran, Paliath (ed.) et al., Rewriting techniques and applications. 10th international conference, RTA-99. Trento, Italy, July 2-4, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1631, 45-59 (1999). MSC: 03F05 PDFBibTeX XMLCite \textit{P. de Groote}, Lect. Notes Comput. Sci. 1631, 45--59 (1999; Zbl 0939.03061)
Dyckhoff, Roy; Pinto, Luís Proof search in constructive logics. (English) Zbl 0939.03062 Cooper, S. Barry (ed.) et al., Sets and proofs. Invited papers from the Logic colloquium ’97, European meeting of the Association for Symbolic Logic, Leeds, UK, July 6-13, 1997. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 258, 53-65 (1999). MSC: 03F05 03B70 68N17 03F50 03B20 03B35 PDFBibTeX XMLCite \textit{R. Dyckhoff} and \textit{L. Pinto}, Lond. Math. Soc. Lect. Note Ser. 258, 53--65 (1999; Zbl 0939.03062)
Fujita, Ken-Etsu A binary-conclusion natural deduction system. (English) Zbl 0957.03008 Log. J. IGPL 7, No. 4, 517-545 (1999). MSC: 03B20 03B10 03F03 03F05 PDFBibTeX XMLCite \textit{K.-E. Fujita}, Log. J. IGPL 7, No. 4, 517--545 (1999; Zbl 0957.03008) Full Text: DOI
Konikowska, Beata Natural deduction systems for Rosser-Turquette many-valued logic. (English) Zbl 0948.03016 Mult.-Valued Log. 4, No. 3, 181-205 (1999). Reviewer: A.Hoogewijs (Gent) MSC: 03B50 03B22 03B35 PDFBibTeX XMLCite \textit{B. Konikowska}, Mult.-Valued Log. 4, No. 3, 181--205 (1999; Zbl 0948.03016)
Polakow, Jeff; Pfenning, Frank Natural deduction for intuitionistic non-commutative linear logic. (English) Zbl 0931.03071 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, 295-309 (1999). MSC: 03F52 PDFBibTeX XMLCite \textit{J. Polakow} and \textit{F. Pfenning}, Lect. Notes Comput. Sci. 1581, 295--309 (1999; Zbl 0931.03071)
Ohori, Atsushi A Curry-Howard isomorphism for compilation and program execution. (Extended abstract). (English) Zbl 0932.03031 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, 280-294 (1999). MSC: 03B70 03F05 68N30 PDFBibTeX XMLCite \textit{A. Ohori}, Lect. Notes Comput. Sci. 1581, 280--294 (1999; Zbl 0932.03031)
Aczel, Peter Notes on the simply typed lambda calculus. (English) Zbl 0933.03007 Berger, Ulrich (ed.) et al., Computational logic. Proceedings of the NATO ASI, Marktoberdorf, Germany, July 29–August 10, 1997. Berlin: Springer. NATO ASI Ser., Ser. F, Comput. Syst. Sci. 165, 57-97 (1999). MSC: 03B40 03-02 03B20 03F03 03F35 03F50 PDFBibTeX XMLCite \textit{P. Aczel}, NATO ASI Ser., Ser. F, Comput. Syst. Sci. 165, 57--97 (1999; Zbl 0933.03007)
Luo, Zhaohui; Callaghan, Paul Mathematical vernacular and conceptual well-formedness in mathematical language. (English) Zbl 0934.03016 Lecomte, Alain (ed.) et al., Logical aspects of computational linguistics. 2nd international conference, LACL ’97. Nancy, France, September 22-24, 1997. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1582, 231-250 (1999). MSC: 03B35 68T50 03B65 68T15 00A35 PDFBibTeX XMLCite \textit{Z. Luo} and \textit{P. Callaghan}, Lect. Notes Comput. Sci. 1582, 231--250 (1999; Zbl 0934.03016)
Monz, Christof; de Rijke, Maarten A tableau calculus for pronoun resolution. (English) Zbl 0932.03011 Murray, Neil V. (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ‘99, Saratoga Springs, NY, USA, June 7–11, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1617, 247-262 (1999). MSC: 03B35 68T50 68T15 PDFBibTeX XMLCite \textit{C. Monz} and \textit{M. de Rijke}, Lect. Notes Comput. Sci. 1617, 247--262 (1999; Zbl 0932.03011)
Polakow, Jeff; Pfenning, Frank Relating natural deduction and sequent calculus for intuitionistic non-commutative linear logic. (English) Zbl 0926.03076 Brookes, Stephen (ed.) et al., Mathematical foundations of programming semantics. Proceedings of the 15th conference, Tulane Univ., New Orleans, LA, April 28 - May 1, 1999. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 20, electronic paper No. 26 (1999). MSC: 03F52 03F05 68N18 03B40 PDFBibTeX XMLCite \textit{J. Polakow} and \textit{F. Pfenning}, in: Mathematical foundations of programming semantics. Proceedings of the 15th conference, Tulane Univ., New Orleans, LA, April 28 - May 1, 1999. Amsterdam: Elsevier. electronic paper No. 26 (1999; Zbl 0926.03076) Full Text: Link
Broda, Krysia; Finger, Marcelo; Russo, Alessandra Labelled natural deduction for substructural logics. (English) Zbl 0929.03059 Log. J. IGPL 7, No. 3, 283-318 (1999). MSC: 03F52 03B20 03B47 PDFBibTeX XMLCite \textit{K. Broda} et al., Log. J. IGPL 7, No. 3, 283--318 (1999; Zbl 0929.03059) Full Text: DOI
Troelstra, A. S. Marginalia on sequent claculi. (English) Zbl 0924.03104 Stud. Log. 62, No. 2, 291-303 (1999). Reviewer: Helmut Pfeiffer (Hannover) MSC: 03F07 03F05 03B35 PDFBibTeX XMLCite \textit{A. S. Troelstra}, Stud. Log. 62, No. 2, 291--303 (1999; Zbl 0924.03104) Full Text: DOI
Aoto, Takahito Uniqueness of normal proofs in implicational intuitionistic logic. (English) Zbl 0931.03067 J. Logic Lang. Inf. 8, No. 2, 217-242 (1999). Reviewer: Y.Komori (Ohya / Shizuoka) MSC: 03F05 03B20 PDFBibTeX XMLCite \textit{T. Aoto}, J. Logic Lang. Inf. 8, No. 2, 217--242 (1999; Zbl 0931.03067) Full Text: DOI
Zalabardo, José L. Introduction to the theory of logic. (English) Zbl 0938.03001 Boulder, CO: Westview Press. xiii, 330 p. (1999). Reviewer: Siegfried Johannes Gottwald (Leipzig) MSC: 03-01 03B05 03B10 03E99 03C99 PDFBibTeX XMLCite \textit{J. L. Zalabardo}, Introduction to the theory of logic. Boulder, CO: Westview Press (1999; Zbl 0938.03001)
de Oliveira, Anjolina Grisi; de Queiroz, Ruy J. G. B. A normalization procedure for the equational fragment of labelled natural deduction. (English) Zbl 0923.03064 Log. J. IGPL 7, No. 2, 173-215 (1999). Reviewer: M.Yasuhara (Princeton) MSC: 03F05 PDFBibTeX XMLCite \textit{A. G. de Oliveira} and \textit{R. J. G. B. de Queiroz}, Log. J. IGPL 7, No. 2, 173--215 (1999; Zbl 0923.03064) Full Text: DOI
Schwichtenberg, Helmut Termination of permutative conversions in intuitionistic Gentzen calculi. (English) Zbl 0913.68135 Theor. Comput. Sci. 212, No. 1-2, 247-260 (1999). MSC: 68Q60 PDFBibTeX XMLCite \textit{H. Schwichtenberg}, Theor. Comput. Sci. 212, No. 1--2, 247--260 (1999; Zbl 0913.68135) Full Text: DOI
Dyckhoff, Roy; Pinto, Luís Permutability of proofs in intuitionistic sequent calculi. (English) Zbl 0913.68110 Theor. Comput. Sci. 212, No. 1-2, 141-155 (1999). MSC: 68Q42 68T15 03B60 PDFBibTeX XMLCite \textit{R. Dyckhoff} and \textit{L. Pinto}, Theor. Comput. Sci. 212, No. 1--2, 141--155 (1999; Zbl 0913.68110) Full Text: DOI