×


 x 

Shopping cart
Duzi, Marie; Jespersen, Bjorn; Materna, Pavel - Procedural Semantics for Hyperintensional Logic - 9789048188116 - V9789048188116
Stock image for illustration purposes only - book cover, edition or condition may vary.

Procedural Semantics for Hyperintensional Logic

€ 256.99
FREE Delivery in Ireland
Description for Procedural Semantics for Hyperintensional Logic Hardback. This book shows how TIL lends itself to a broad range of applications. It comprises logical analysis of natural language, artificial-intelligence methods of knowledge representation, multi-agent systems in computer science, philosophy of mathematics, and more. Series: Logic, Epistemology, and the Unity of Science. Num Pages: 563 pages, 3 black & white tables, biography. BIC Classification: CFA; CFG; GPJ; HPJ; HPL. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 31. Weight in Grams: 2140.
This book is about Transparent Intensional Logic, the brainchild of Pavel Tichý. Three books and around 100 papers on Transparent Intensional Logic have till now seen the light of day since the mid-1960s. So why a book of more than 500 pages now? For two reasons. Firstly, Transparent Intensional Logic is a theory without something like a textbook. Now this is not an actual textbook, if a textbook is a patient introduction garnished with exercises and solutions; nor is it a teach-yourself-in-a-week manual for the uninitiated-but-curious. But we, the three authors, have striven to write an accessible one-stop survey of ... Read more

Product Details

Format
Hardback
Publication date
2010
Publisher
Springer Netherlands
Number of pages
563
Condition
New
Series
Logic, Epistemology, and the Unity of Science
Number of Pages
550
Place of Publication
Dordrecht, Netherlands
ISBN
9789048188116
SKU
V9789048188116
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15

About Duzi, Marie; Jespersen, Bjorn; Materna, Pavel
Doc. RNDr. Marie Duží, CSc., is Associate Professor at VSB-Technical University Ostrava, Czech Republic. Her research interests include philosophical and mathematical logic, conceptual modelling, computer science (theory of information). In 2001 she was one of the invited lecturers in a seminar on Transparent Intensional Logic, University of Leiden, the Netherlands. In 2008 the Rector of VSB-Technical University Ostrava awarded her ... Read more

Reviews for Procedural Semantics for Hyperintensional Logic
From the reviews: “The text describes the origins and notations of a new symbolic system of variables and derives completed thoughts likely to be important to future research in Logic. The book is a welcome addition to any student’s logic library and or reading list at both graduate/undergraduate levels.” (Joseph J. Grenier, Amazon.com, November, 2013)

Goodreads reviews for Procedural Semantics for Hyperintensional Logic


Subscribe to our newsletter

News on special offers, signed editions & more!