wyszukanych pozycji: 9
Extensions of Logic Programming: International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings
ISBN: 9783540535904 / Angielski / Miękka / 1991 / 366 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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 Tubingen 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...
This volume contains finalized versions of papers presented at an international workshop on extensions of logic programming, held at the Seminar for N...
|
|
cena:
194,52 zł |
Advances in Proof-Theoretic Semantics
ISBN: 9783319226859 / Angielski / Twarda / 2015 / 283 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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... This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics ... |
|
cena:
194,52 zł |
Advances in Proof-Theoretic Semantics
ISBN: 9783319367811 / Angielski / Miękka / 2016 / 283 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
194,52 zł |
Substructural Logics
ISBN: 9780198537779 / Angielski / Twarda / 1994 / 400 str. Termin realizacji zamówienia: ok. 30 dni roboczych. Substructural logics comprise a family of nonclassical logics that arose in response to problems in theoretical computer science, mathematical linguistics, and category theory. They include intuitionist logic, relevant logic, BCK logic, linear logic, and Lambeck's calculus of synthetic categories. This book brings together new papers by some of the most eminent authorities in these various traditions in order to provide a unified view of the field. This important volume--the first to bring together the disparate strands of work in substructural logics--will be welcomed by student and...
Substructural logics comprise a family of nonclassical logics that arose in response to problems in theoretical computer science, mathematical linguis...
|
|
cena:
724,14 zł |
Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.
ISBN: 9783540609834 / Angielski / Miękka / 1996 / 322 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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. This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP '96, held in Leipzig, Germany...
|
|
cena:
194,52 zł |
The Logical Writings of Karl Popper
ISBN: 9783030949280 / Angielski / Miękka / 2022 / 552 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This open access book is the first ever collection of Karl Popper's writings on deductive logic. Karl R. Popper (1902-1994) was one of the most influential philosophers of the 20th century. His philosophy of science ("falsificationism") and his social and political philosophy ("open society") have been widely discussed way beyond academic philosophy. What is not so well known is that Popper also produced a considerable work on the foundations of deductive logic, most of it published at the end of the 1940s as articles at scattered places. This little-known work deserves to be known better,...
This open access book is the first ever collection of Karl Popper's writings on deductive logic. Karl R. Popper (1902-1994) was one of the most influ...
|
|
cena:
155,61 zł |
Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
ISBN: 9783540427520 / Angielski / Miękka / 2001 / 246 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. The - ductive apparatus provided by proof theory has proved useful for metatheoretical purposes as well as for practical applications. Thus it seemed to us most natural to bring researchers together to assess both the role proof theory already plays in computer science and the role it might play in the future. The form of a Dagstuhl seminar is most suitable for purposes like this, as Schloss Dagstuhl provides a very convenient and stimulating...
Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. ...
|
|
cena:
194,52 zł |
Logic, Methodology and Philosophy of Science. Logic and Science Facing the New Technologies
ISBN: 9781848901698 / Angielski / Miękka / 2015 / 562 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. The 14th International Congress of Logic, Methodology and Philosophy of Science was held on July 19 - 26, 2011 in Nancy, the historic capital of Lorraine and the birthplace of Henri Poincare. For the first time in LMPS history, the Nancy congress had a special topic: Logic and Science Facing the New Technologies. These Proceedings include state of the art discussions by leading scholars. Besides plenary talks, they contain many of the invited papers from the four sections: Logic, General Philosophy of Science, Methodological and Philosophical Issues of Particular Sciences, and Methodological...
The 14th International Congress of Logic, Methodology and Philosophy of Science was held on July 19 - 26, 2011 in Nancy, the historic capital of Lorra...
|
|
cena:
138,80 zł |
Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings
ISBN: 9783540554981 / Angielski / Miękka / 1992 / 376 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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 T}bingen in1989 and its proceedings areavailable as LNCS 475. Thethird workshop...
This volume contains papers presented at the secondinternational workshop on extensions of logic programming, which was held at the Swedish Institute ...
|
|
cena:
194,52 zł |