Peter Schroeder-Heister - Böcker
Visar alla böcker från författaren Peter Schroeder-Heister. Handla med fri frakt och snabb leverans.
9 produkter
9 produkter
Logic, Methodology and Philosophy of Science. Logic and Science Facing the New Technologies
Häftad, Engelska, 2015
279 kr
Skickas inom 5-8 vardagar
535 kr
Skickas inom 10-15 vardagar
This open access book is the first ever collection of Karl Popper's writings on deductive logic. Karl R.
430 kr
Skickas inom 10-15 vardagar
This open access book is the first ever collection of Karl Popper's writings on deductive logic. Karl R.
540 kr
Skickas inom 10-15 vardagar
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory.The field of proof-theoretic semantics has existed for almost 50 years, but the term itself was proposed by Schroeder-Heister in the 1980s. Proof-theoretic semantics explains the meaning of linguistic expressions in general and of logical constants in particular in terms of the notion of proof. This volume emerges from presentations at the Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013, where contributing authors were asked toprovide a self-contained description and analysis of a significant research question in this area. The contributions are representative of the field and should be of interest to logicians, philosophers, and mathematicians alike.
535 kr
Skickas inom 10-15 vardagar
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory.The field of proof-theoretic semantics has existed for almost 50 years, but the term itself was proposed by Schroeder-Heister in the 1980s. Proof-theoretic semantics explains the meaning of linguistic expressions in general and of logical constants in particular in terms of the notion of proof. This volume emerges from presentations at the Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013, where contributing authors were asked toprovide a self-contained description and analysis of a significant research question in this area. The contributions are representative of the field and should be of interest to logicians, philosophers, and mathematicians alike.
Proof Theory in Computer Science
International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
Häftad, Engelska, 2001
535 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the International Seminar on Proof Theory in Computer Science, PTCS 2001, held in Dagstuhl Castle, Germany, in October 2001. The 13 thoroughly revised full papers were carefully reviewed and selected for inclusion in the book. Among the topics addressed are higher type recursion, lambda calculus, complexity theory, transfinite induction, categories, induction-recursion, post-Turing analysis, natural deduction, implicit characterization, iterate logic, and Java programming.
Extensions of Logic Programming
International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings
Häftad, Engelska, 1991
551 kr
Skickas inom 10-15 vardagar
This volume contains finalized versions of papers presented at an international workshop on extensions of logic programming, held at the Seminar for Natural Language Systems at the University of Tübingen in December 1989. Several recent extensions of definite Horn clause programming, especially those with a proof-theoretic background, have much in common. One common thread is a new emphasis on hypothetical reasoning, which is typically inspired by Gentzen-style sequent or natural deduction systems. This is not only of theoretical significance, but also bears upon computational issues. It was one purpose of the workshop to bring some of these recent developments together. The volume covers topics such as the languages Lambda-Prolog, N-Prolog, and GCLA, the relationship between logic programming and functional programming, and the relationship between extensions of logic programming and automated theorem proving. It contains the results of the first conference concentrating on proof-theoretic approaches to logic programming.
Extensions of Logic Programming
Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings
Häftad, Engelska, 1992
551 kr
Skickas inom 10-15 vardagar
This volume contains papers presented at the secondinternational workshop on extensions of logic programming,which was held at the Swedish Institute of Computer Science,Stockhom, January 27-29, 1991. The 12 papers describe and discuss several approaches toextensions of logic programming languages such as PROLOG, aswell as connections between logic programming and functionalprogramming, theoretical foundations of extensions,applications, and programming methodologies. The first workshop in this series was held in Tbingen in1989 and its proceedings areavailable as LNCS 475. Thethird workshop will be held in Bologna in 1992.
Extensions of Logic Programming
5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.
Häftad, Engelska, 1996
551 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP '96, held in Leipzig, Germany in March 1996.The 18 full papers included were carefully selected by the program committee and are presented together with three invited papers. Among the topics addressed in this book are categorical logic programming, correctness of logic programs, functional-logic languages, implementation issues, linear logic programming, nonmonotonic reasoning, and proof search.