Computational logic and proof theory. 5th Kurt Gödel Colloquium, KGC '97. Vienna, Austria. August 25--29, 1997. Proceedings
type: Item
instance of: scholarly article
title: Computational logic and proof theory. 5th Kurt Gödel Colloquium, KGC '97. Vienna, Austria. August 25--29, 1997. Proceedings
zbMATH Open document ID: 0870.00023
DOI: 10.1007/3-540-63385-5
published in: Lecture Notes in Computer Science
publication date: 1997-09-04T00:00:00Z
review text: The articles of this volume will be reviewed individually. Indexed articles: \textit{Buchholz, Wilfried}, Explaining Gentzen's consistency proof within infinitary proof theory, 4-17 [Zbl 0887.03043] \textit{Buss, Samuel R.}, Alogtime algorithms for tree isomorphism, comparison, and canonization, 18-33 [Zbl 0884.68098] \textit{Carnielli, W. A.; Veloso, P. A. S.}, Ultrafilter logic and generic reasoning, 34-53 [Zbl 0884.03024] \textit{Robinson, J. A.}, Informal rigor and mathematical understanding, 54-64 [Zbl 0886.03002] \textit{Tammet, Tanel}, Resolution, inverse method and the sequent calculus, 65-83 [Zbl 0888.03004] \textit{Tiuryn, Jerzy}, Subtyping over a lattice, 84-88 [Zbl 0885.03016] \textit{Basin, David; Matthews, Seán; Viganò, Luca}, A new method for bounding the complexity of modal logics, 89-102 [Zbl 0886.03039] \textit{Beklemishev, Lev D.}, Parameter free induction and reflection, 103-113 [Zbl 0892.03023] \textit{Borchert, Bernd; Stephan, Frank}, Looking for an analogue of Rice's theorem in circuit complexity theory, 114-127 [Zbl 0894.03020] \textit{Ciabattoni, Agata; Luchi, Duccio}, Two connections between linear logic and Łukasiewicz logics, 128-139 [Zbl 0884.03052] \textit{Egly, Uwe; Genther, Karin}, Structuring of computer-generated proofs by cut introduction, 140-152 [Zbl 0885.03012] \textit{Gilmore, Paul C.}, NaDSyL and some applications, 153-166 [Zbl 0885.03025] \textit{Khakhanian, V. Kh.}, Markov's rule is admissible in the set theory with intuitionistic logic, 167-171 [Zbl 0881.03031] \textit{Makowsky, J. A.}, Invariant definability. (Extended abstract), 186-202 [Zbl 0881.03022] \textit{Matzinger, Robert}, Comparing computational representation of Herbrand models, 203-218 [Zbl 0885.03013] \textit{Pape, Christian; Hähnle, Reiner}, Restart tableaux with selection function, 219-323 [Zbl 0887.03007] \textit{Plisko, V.}, Two semantics and logics based on the Gödel interpretation, 233-240 [Zbl 0893.03021] \textit{Pliuškevičius, Regimantas}, On the compl…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 03-06
zbMATH DE Number: 1057380
zbMATH Keywords: Vienna (Austria)
zbMATH Keywords: Proceedings
zbMATH Keywords: Colloquium
zbMATH Keywords: KGC '97
zbMATH Keywords: Computational logic
zbMATH Keywords: Proof theory
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/3-540-63385-5
OpenAlex ID: W2479925372
Recommended article: Computational logic and proof theory. 3rd Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993. Proceedings
Recommended article: Computer science logic. 17th international workshop CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel colloquium KGC 2003, Vienna, Austria, August 25--30, 2003. Proceedings
Recommended article: Q5108217
Recommended article: Computation and proof theory. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983. Part II
Recommended article: Q4348468
Recommended article: Computational Logic
Recommended article: Q4002242
Recommended article: Q3023831
Recommended article: Q4871627
description: scientific article; zbMATH DE number 1057380