Restall, Greg Structural rules in natural deduction with alternatives. (English) Zbl 07811411 Bull. Sect. Log., Univ. Łódź, Dep. Log. 52, No. 2, 109-143 (2023). MSC: 03A05 03F03 03F52 × Cite Format Result Cite Review PDF Full Text: DOI
Francez, Nissim Bilateral relevant logic. (English) Zbl 1338.03044 Rev. Symb. Log. 7, No. 2, 250-272 (2014). MSC: 03B47 03F03 × Cite Format Result Cite Review PDF Full Text: DOI
Indrzejczak, Andrzej Natural deduction, hybrid systems and modal logics. (English) Zbl 1236.03002 Trends in Logic–Studia Logica Library 30. Berlin: Springer (ISBN 978-90-481-8784-3/hbk; 978-90-481-8785-0/ebook). xxiii, 491 p. (2010). Reviewer: Damas Gruska (Bratislava) MSC: 03-01 03-02 03B22 03B35 03B45 03B60 03F03 × Cite Format Result Cite Review PDF Full Text: DOI
Kamide, Norihiro; Wansing, Heinrich Combining linear-time temporal logic with constructiveness and paraconsistency. (English) Zbl 1207.03022 J. Appl. Log. 8, No. 1, 33-61 (2010). Reviewer: Osamu Sonobe (Follonica) MSC: 03B44 03B70 03B53 03F05 × Cite Format Result Cite Review PDF Full Text: DOI
Babaev, A. A. Applications of methods of proof theory in category theory. (Primeneniya metodov teorii dokazatel’stv v teorii kategorij.) (Russian) Zbl 1020.18004 Baku: Ehlm. 159 p. (2001). Reviewer: S.V.Soloviev MSC: 18D15 03F03 03F52 03G30 18-02 03-02 × Cite Format Result Cite Review PDF
Troelstra, A. S.; Schwichtenberg, H. Basic proof theory. 2nd ed. (English) Zbl 0957.03053 Cambridge Tracts in Theoretical Computer Science. 43. Cambridge: Cambridge University Press. xii, 417 p. (2000). Reviewer: Anton Setzer (Uppsala) MSC: 03F03 03-02 03-01 03F52 68N17 03F05 03B40 03G30 03B45 03F30 03F35 03B70 × Cite Format Result Cite Review PDF
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 × Cite Format Result Cite Review PDF
Mints, G. Three faces of natural deduction. (English) Zbl 1415.03025 Galmiche, Didier (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ’97, Pont-à-Mousson, France, May 13–16, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1227, 16-30 (1997). MSC: 03B35 03B20 03B40 03F03 03F05 03F52 × Cite Format Result Cite Review PDF Full Text: DOI
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
Albrecht, David; Crossley, John N.; Jeavons, John S. New Curry-Howard terms for full linear logic. (English) Zbl 0896.03046 Theor. Comput. Sci. 185, No. 2, 217-235 (1997). MSC: 03F05 03B70 03B20 × Cite Format Result Cite Review PDF Full Text: DOI
Ronchi della Rocca, Simona; Roversi, Luca Lambda calculus and intuitionistic linear logic. (English) Zbl 0894.03013 Stud. Log. 59, No. 3, 417-448 (1997). Reviewer: René David (Le Bourget-du-Lac) MSC: 03B70 03B40 03B20 68Q55 × Cite Format Result Cite Review PDF Full Text: DOI
Troelstra, A. S.; Schwichtenberg, H. Basic proof theory. (English) Zbl 0868.03024 Cambridge Tracts in Theoretical Computer Science. 43. Cambridge: Cambridge University Press. xi, 343 p. (1996). Reviewer: H.Pfeiffer (Hannover) MSC: 03F03 03-02 03-01 68N17 03F05 03B40 03G30 03B45 03F30 03F35 × Cite Format Result Cite Review PDF
Bierman, G. M. Towards a classical linear \(\lambda\)-calculus. (Preliminary report). (English) Zbl 0908.03020 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, 13 p. (1996). MSC: 03B40 03B70 03B20 × 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
Benton, Nick; Bierman, Gavin; de Paiva, Valeria; Hyland, Martin A term calculus for intuitionistic linear logic. (English) Zbl 0795.68127 Bezem, Marc (ed.) et al., Typed Lambda calculi and applications. International conference, TLCA ’93, March 16-18, 1993, Utrecht, the Netherlands. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 664, 75-90 (1993). MSC: 68Q55 03B20 03B22 03F05 × Cite Format Result Cite Review PDF
Bonet, Maria Luisa; Buss, Samuel R. The deduction rule and linear and near-linear proof simulations. (English) Zbl 0848.03028 J. Symb. Log. 58, No. 2, 688-709 (1993). MSC: 03F03 03F20 × Cite Format Result Cite Review PDF Full Text: DOI
Gallier, Jean Constructive logics. I: A tutorial on proof systems and typed \(\lambda\)- calculi. (English) Zbl 0772.03026 Theor. Comput. Sci. 110, No. 2, 249-339 (1993). Reviewer: C.Berline (Paris) MSC: 03F03 03B20 03B40 03B70 03-01 × Cite Format Result Cite Review PDF Full Text: DOI
Wainer, S. S.; Wallen, L. A. Basic proof theory. (English) Zbl 0793.03056 Aczel, Peter (ed.) et al., Proof theory. A selection of papers from the Leeds proof theory programme, an international summer school and conference on proof theory, held at the Leeds University, UK, from July 24-August 2, 1990. Cambridge: Cambridge University Press. 3-26 (1992). MSC: 03F03 03-01 03F05 03F30 × Cite Format Result Cite Review PDF
Courcelle, Bruno (ed.) Logic and computer science: an introduction. (Logique et informatique: une introduction. Avant propos de Maurice Nivat.) (French) Zbl 0746.03003 Collection Didactique. 8. Rocquencourt: INRIA. 257 p. (1991). Reviewer: C.Masalagiu (Iaşi) MSC: 03-06 00B15 68-06 03-02 68-02 68Q55 03B25 03F05 03F35 03B40 03B70 68Q60 68N17 03B20 03D15 × Cite Format Result Cite Review PDF
Girard, Jean-Yves; Taylor, Paul; Lafont, Yves Proofs and types. (English) Zbl 0671.68002 Cambridge Tracts in Theoretical Computer Science, 7. Cambridge etc.: Univ. Press. XI, 176 p. £17.50 (1989). Reviewer: G.Vorobyov MSC: 68-02 03B15 03B40 03F05 03-02 03B70 03F07 03F10 03F35 × Cite Format Result Cite Review PDF