Antos, Carolin Conceptions of infinity and set in Lorenzen’s operationist system. (English) Zbl 07465325 Heinzmann, Gerhard (ed.) et al., Paul Lorenzen – mathematician and logician. Contributions presented at the workshop, Konstanz, Germany, March 8–9, 2018. Cham: Springer. Log. Epistemol. Unity Sci. 51, 23-46 (2021). Reviewer: Volker Peckhaus (Paderborn) MSC: 03A05 00A30 01A60 03-03 03B20 03B30 PDF BibTeX XML Cite \textit{C. Antos}, Log. Epistemol. Unity Sci. 51, 23--46 (2021; Zbl 07465325) Full Text: DOI OpenURL
Kahle, Reinhard (ed.); Strahm, Thomas (ed.); Studer, Thomas (ed.) Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13–14, 2013. (English) Zbl 1344.03002 Progress in Computer Science and Applied Logic 28. Basel: Birkhäuser/Springer (ISBN 978-3-319-29196-3/hbk; 978-3-319-29198-7/ebook). xii, 425 p. (2016). MSC: 03-06 03Fxx 03B20 03B30 03B35 68T15 00B25 00B30 PDF BibTeX XML Cite \textit{R. Kahle} (ed.) et al., Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13--14, 2013. Basel: Birkhäuser/Springer (2016; Zbl 1344.03002) Full Text: DOI OpenURL
Staton, Sam An algebraic presentation of predicate logic (extended abstract). (English) Zbl 1260.68116 Pfenning, Frank (ed.), Foundations of software science and computation structures. 16th international conference, FOSSACS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37074-8/pbk). Lecture Notes in Computer Science 7794, 401-417 (2013). MSC: 68N30 03B20 03B70 18C10 18C15 68N15 68N17 68N18 PDF BibTeX XML Cite \textit{S. Staton}, Lect. Notes Comput. Sci. 7794, 401--417 (2013; Zbl 1260.68116) Full Text: DOI OpenURL
Hindley, J. Roger Basic simple type theory. Paperback reprint with corrections. (English) Zbl 1135.03006 Cambridge Tracts in Theoretical Computer Science 42. Cambridge: Cambridge University Press (ISBN 978-0-521-05422-5/pbk). xii, 186 p. (2008). Reviewer: Reinhard Kahle (Coimbra) MSC: 03B40 03B70 03B20 68-01 03-01 03B15 68N15 68N18 PDF BibTeX XML Cite \textit{J. R. Hindley}, Basic simple type theory. Paperback reprint with corrections. Cambridge: Cambridge University Press (2008; Zbl 1135.03006) OpenURL
Gabbay, D. M.; Kurucz, A.; Wolter, F.; Zakharyaschev, M. Many-dimensional modal logics: theory and applications. (English) Zbl 1051.03001 Studies in Logic and the Foundations of Mathematics 148. Amsterdam: Elsevier (ISBN 0-444-50826-0/hbk). xviii, 747 p. (2003). Reviewer: Max A. Freund (México D.F.) MSC: 03-02 03B45 03B70 03B42 03B44 03B20 03B25 68T30 PDF BibTeX XML Cite \textit{D. M. Gabbay} et al., Many-dimensional modal logics: theory and applications. Amsterdam: Elsevier (2003; Zbl 1051.03001) OpenURL
Möllerfeld, Michael Generalized inductive definitions. The \(\mu\)-calculus and \(\Pi^1_2\)-comprehension. (English) Zbl 1050.03040 Münster: Univ. Münster, Fachbereich Mathematik und Informatik. vi, 136 p. (2002). Reviewer: Anton Setzer (Swansea) MSC: 03F25 03F03 03D70 03D60 03-02 03F35 03E70 PDF BibTeX XML Cite \textit{M. Möllerfeld}, Generalized inductive definitions. The \(\mu\)-calculus and \(\Pi^1_2\)-comprehension. Münster: Univ. Münster, Fachbereich Mathematik und Informatik (2002; Zbl 1050.03040) OpenURL
Weich, Klaus Improving proof search in intuitionistic propositional logic. (English) Zbl 0995.03027 Berlin: Logos Verlag; München: Univ. München, Fakultät für Mathematik und Informatik (Dissertation) (ISBN 3-89722-767-3). viii, 132 p. EUR 40.50 (2001). MSC: 03B70 68N30 68Q60 03B20 03B25 03-04 PDF BibTeX XML Cite \textit{K. Weich}, Improving proof search in intuitionistic propositional logic. Berlin: Logos Verlag; München: Univ. München, Fakultät für Mathematik und Informatik (Dissertation) (2001; Zbl 0995.03027) OpenURL
van Dalen, Dirk Intuitionistic logic. (English) Zbl 1002.03053 Goble, Lou (ed.), The Blackwell guide to philosophical logic. Oxford: Blackwell Publishers. Blackwell Philosophy Guides. 224-257 (2001). Reviewer: Victor N.Krivtsov (Moskva) MSC: 03F55 03B47 03B20 03F50 03-02 PDF BibTeX XML Cite \textit{D. van Dalen}, in: The Blackwell guide to philosophical logic. Oxford: Blackwell Publishers. 224--257 (2001; Zbl 1002.03053) OpenURL
Rybakov, V. V. Admissibility of logical inference rules. (English) Zbl 0872.03002 Studies in Logic and the Foundations of Mathematics. 136. Amsterdam: Elsevier. 617 p. (1997). Reviewer: B.Boričić (Beograd) MSC: 03-02 03B05 03B10 03B22 03B25 03B20 03B45 03B55 03C05 PDF BibTeX XML Cite \textit{V. V. Rybakov}, Admissibility of logical inference rules. Amsterdam: Elsevier (1997; Zbl 0872.03002) OpenURL
Hindley, J. Roger Basic simple type theory. (English) Zbl 0906.03012 Cambridge Tracts in Theoretical Computer Science. 42. Cambridge: Cambridge Univ. Press. xi, 186 p. (1997). Reviewer: K.Shvachko (Pereslavl’-Zalesskij) MSC: 03B40 03B70 03B20 68-01 03-01 03B15 68N15 PDF BibTeX XML Cite \textit{J. R. Hindley}, Basic simple type theory. Cambridge: Cambridge Univ. Press (1997; Zbl 0906.03012) OpenURL
Rao, A. P. A survey of free logics. (English) Zbl 0854.03001 Mod. Log. 6, No. 2, 123-191 (1996). Reviewer: Jānis Cīrulis (Riga) MSC: 03-02 03A05 03B20 03B65 PDF BibTeX XML Cite \textit{A. P. Rao}, Mod. Log. 6, No. 2, 123--191 (1996; Zbl 0854.03001) OpenURL
Boričić, Branislav Logic and proofs. Theory - exercises. (Greek. English summary) Zbl 0838.03001 Thessaloniki: Editions Ziti. viii, 172 p. (1995). MSC: 03-01 03B05 03B10 03B20 03F05 PDF BibTeX XML Cite \textit{B. Boričić}, Logic and proofs. Theory - exercises (Greek). Thessaloniki: Editions Ziti (1995; Zbl 0838.03001) OpenURL
Lincoln, Patrick Deciding provability of linear logic formulas. (English) Zbl 0823.03004 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, 109-122 (1995). MSC: 03B25 03B20 03D15 03-02 PDF BibTeX XML Cite \textit{P. Lincoln}, Lond. Math. Soc. Lect. Note Ser. 222, 109--122 (1995; Zbl 0823.03004) OpenURL
Shashikhin, V. N. Hierarchical optiization of large systemization of large systems with holdover. (English. Russian original) Zbl 0805.49002 Autom. Remote Control 54, No. 4, Pt. 1, 594-604 (1993); translation from Avtom. Telemekh. 1993, No. 4, 73-84 (1993). Reviewer: E.Iwanow (Wien) MSC: 49J15 93A15 90C99 65K10 PDF BibTeX XML Cite \textit{V. N. Shashikhin}, Autom. Remote Control 54, No. 4, Part 1, 73--84 (1993; Zbl 0805.49002); translation from Avtom. Telemekh. 1993, No. 4, 73--84 (1993) OpenURL
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 PDF BibTeX XML Cite \textit{B. Courcelle} (ed.), Logique et informatique: une introduction. Avant propos de Maurice Nivat. Rocquencourt: INRIA (1991; Zbl 0746.03003) OpenURL
Burgin, M. S.; Kuznetsov, V. I. The structure and development of mathematical theories. (English) Zbl 0746.03004 Mod. Log. 2, No. 1, 3-28 (1991). MSC: 03A05 00A30 18C10 18A15 18B05 03-03 PDF BibTeX XML Cite \textit{M. S. Burgin} and \textit{V. I. Kuznetsov}, Mod. Log. 2, No. 1, 3--28 (1991; Zbl 0746.03004) OpenURL
Hartmann, Dirk Constructive logic of questions. (Konstruktive Fragelogik. Vom Elementarsatz zur Logik von Frage und Antwort.) (German) Zbl 0756.03001 Mannheim etc.: B.I.-Wissenschaftsverlag. 232 p. (1990). Reviewer: J.Bacon (Sydney) MSC: 03-01 03-02 03B20 03B30 03B60 03B65 03A05 03B10 03B80 PDF BibTeX XML Cite \textit{D. Hartmann}, Konstruktive Fragelogik. Vom Elementarsatz zur Logik von Frage und Antwort. Mannheim etc.: B.I.-Wissenschaftsverlag (1990; Zbl 0756.03001) OpenURL
Martin, Norman M. Systems of logic. (English) Zbl 0752.03001 Cambridge etc.: Cambridge University Press,. xi, 320 p. (1989). Reviewer: E.Mendelson (Flushing) MSC: 03-02 03B05 03-01 03B30 03B10 03B45 03B20 PDF BibTeX XML Cite \textit{N. M. Martin}, Systems of logic. Cambridge etc.: Cambridge University Press (1989; Zbl 0752.03001) OpenURL
Buchholz, Wilfried; Feferman, Solomon; Pohlers, Wolfram; Sieg, Wilfried Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies. (English) Zbl 0489.03022 Lecture Notes in Mathematics. 897. Berlin-Heidelberg-New York: Springer-Verlag. V, 383 p. DM 39.00; $ 18.20 (1981). MSC: 03F05 03F10 03-02 03F15 PDF BibTeX XML Full Text: DOI OpenURL
Kokorin, A. I.; Pinus, A. G. Decidability problems of extended theories. (English. Russian original) Zbl 0434.03014 Russ. Math. Surv. 33, No. 2, 53-96 (1978); translation from Usp. Mat. Nauk 33, No. 2(200), 49-84 (1978). MSC: 03B25 03C85 03-02 06A99 00A15 06E99 11U05 20A10 20K99 PDF BibTeX XML Cite \textit{A. I. Kokorin} and \textit{A. G. Pinus}, Russ. Math. Surv. 33, No. 2, 53--96 (1978; Zbl 0434.03014); translation from Usp. Mat. Nauk 33, No. 2(200), 49--84 (1978) Full Text: DOI OpenURL
Temple, George Inference without axiom or paradoxes. (English) Zbl 0428.03001 Logic colloquium 76, Proc. Conf., Oxford 1976, Stud. Logic Found. Math., Vol. 87, 221-233 (1977). MSC: 03-03 01A05 03B20 PDF BibTeX XML OpenURL