Procedural Semantics for Hyperintensional Logic
Duzi, Marie; Jespersen, Bjorn; Materna, Pavel
€ 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
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)