Philosophy: logic
Results 181 - 200 of 371
Philosophy: logic
Handbook of Defeasible Reasoning and Uncertainty Management Systems
. Ed(S): Gabbay, Dov M.; Smets, Philippe
Hardback. Deals with approaches to handling contradictory information. This volume is suitable for students, researchers and practitioners in artificial intelligence, software engineering, logic, language and philosophy. Editor(s): Gabbay, Dov M.; Smets, Philippe. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 333 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 234 x 156 x 20. Weight in Grams: 664.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 333
- Condition
- New
- SKU
- V9780792351610
- ISBN
- 9780792351610
Hardback
Condition: New
€ 193.85
€ 193.85
Hardback. Presents an introduction to Display Logic in the context of generalized Gentzen calculi. This book reviews several standard and non-standard sequent-style proof systems for modal logics. It motivates and develops Display Logic, an important refinement of Gentzen's sequent calculus devised by N Belnap. Series: Trends in Logic. Num Pages: 252 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 15. Weight in Grams: 553.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 252
- Condition
- New
- SKU
- V9780792352051
- ISBN
- 9780792352051
Hardback
Condition: New
€ 179.43
€ 179.43
Hardback. Presents a treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. This book shows that fuzzy logic as a logic of imprecise (vague) propositions does have well-developed formal foundations and that most things usually named 'fuzzy inference' can be naturally understood as logical deduction. Series: Trends in Logic. Num Pages: 299 pages, biography. BIC Classification: HPL; PBCH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 615.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 299
- Condition
- New
- SKU
- V9780792352389
- ISBN
- 9780792352389
Hardback
Condition: New
€ 246.48
€ 246.48
Hardback. Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its truth-conditions, but in terms of what constructions count as a proof of it. This monograph offers definitions of construction and proof, and describes the algorithmic substructure underlying intuitionistic logic. Series: Synthese Library. Num Pages: 470 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 26. Weight in Grams: 835.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 470
- Condition
- New
- SKU
- V9780792352624
- ISBN
- 9780792352624
Hardback
Condition: New
€ 228.29
€ 228.29
Hardback. Reasoning is an integral part of intelligent systems in fields like databases, logic programming, robotics, knowledge engineering, and human/computer interfaces. This book features topics including logics for reasoning about actions and planning, and belief revision and the reconciliation of logically conflicting inputs. Editor(s): Pareschi, Remo; Fronhofer, Bertram. Series: Applied Logic Series. Num Pages: 283 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 17. Weight in Grams: 597.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 283
- Condition
- New
- SKU
- V9780792355359
- ISBN
- 9780792355359
Hardback
Condition: New
€ 128.91
€ 128.91
Hardback. Includes essays which develop the ideas of Kant, Hegel and Husserl, leading to an explication of the fundamental concepts of logic - the concepts of 'judgment', 'truth' and the modalities. This book on philosophy of logic, spans the gap between Kant and Hegel on the one hand, and Husserl, Frege and Lask on the other. Series: Synthese Library. Num Pages: 238 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 1170.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 238
- Condition
- New
- SKU
- V9780792355502
- ISBN
- 9780792355502
Hardback
Condition: New
€ 127.95
€ 127.95
Hardback. The notion of negation is one of the central logical notions. This volume studies the properties of negation, in combination with those of other logical operations and structural features of the deducibility relation, which serve as gateways among logical systems. Editor(s): Gabbay, Dov M.; Wansing, Heinrich. Series: Applied Logic Series. Num Pages: 335 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 20. Weight in Grams: 675.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 335
- Condition
- New
- SKU
- V9780792355694
- ISBN
- 9780792355694
Hardback
Condition: New
€ 247.30
€ 247.30
Hardback. Represents a comprehensive survey of the field of rational agency. This work covers the philosophical foundations of rational agency, logical and decision-theoretic approaches to rational agency, multi-agent aspects of rational agency, and describes a number of approaches to programming rational agents. Editor(s): Wooldridge, Mike; Rao, Anand. Series: Applied Logic Series. Num Pages: 302 pages, biography. BIC Classification: HPL; UYQE. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 19. Weight in Grams: 759.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 302
- Condition
- New
- SKU
- V9780792356011
- ISBN
- 9780792356011
Hardback
Condition: New
€ 193.58
€ 193.58
Hardback. The tableau methodology, invented in the 1950's by Beth and Hintikka and later perfected by Smullyan and Fitting, is one of the popular proof theoretical methodologies. This handbook contains several chapters on the use of tableaux methods in logic. It is suitable for students and researchers in Computer Science, and Artificial Intelligence. Editor(s): D'Agostino, Marcello (University of Ferrara, Italy); Gabbay, Dov M.; Hahnle, Reiner; Posegga, Joachim. Num Pages: 670 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 36. Weight in Grams: 1127.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 670
- Condition
- New
- SKU
- V9780792356271
- ISBN
- 9780792356271
Hardback
Condition: New
€ 245.42
€ 245.42
Hardback. This volume is a study of the foundations of model-theoretic semantics. Its central thesis is that one does not need to assume a perfect structural fit between languages and their models in order to characterize the basic semantic notions. Series: Topoi Library. Num Pages: 146 pages, biography. BIC Classification: CFG; HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 169 x 15. Weight in Grams: 392.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 146
- Condition
- New
- SKU
- V9780792356295
- ISBN
- 9780792356295
Hardback
Condition: New
€ 126.29
€ 126.29
hardcover. Features results concerning the genuinely logical aspects of fuzzy sets in relation to algebraic considerations, knowledge representation and commonsense reasoning. This work offers a look at multiple-valued and fuzzy set-based logics, in an artificial intelligence perspective. Editor(s): Dubois, Didier; Prade, Henri; Klement, Erich Peter. Series: Applied Logic Series. Num Pages: 425 pages, biography. BIC Classification: HPL; PBCH. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 25. Weight in Grams: 791.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 2000th Edition
- Number of pages
- 425
- Condition
- New
- SKU
- V9780792359777
- ISBN
- 9780792359777
Hardback
Condition: New
€ 195.65
€ 195.65
Hardback. This text addresses anyone who wonders, as the author does, about what can be achieved by argumentation and why it can be achieved. Series: Argumentation Library. Num Pages: 240 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 14. Weight in Grams: 520.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 240
- Condition
- New
- SKU
- V9780792361480
- ISBN
- 9780792361480
Hardback
Condition: New
€ 127.68
€ 127.68
Hardback. Providing a survey of Martin-Lof's constructive type theory, this book surveys the prehistory of type theory and its highly complex development through eight different stages from 1970 to 1995. It also provides a systematic presentation of the theory, as offered by Martin-Lof at Leiden University in Fall 1993. Series: Synthese Library. Num Pages: 367 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 240 x 165 x 28. Weight in Grams: 726.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 367
- Condition
- New
- SKU
- V9780792361800
- ISBN
- 9780792361800
Hardback
Condition: New
€ 194.37
€ 194.37
Hardback. Discuses about Labelled deduction which is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Editor(s): Basin, David; D'Agostino, Marcello (University of Ferrara, Italy); Gabbay, Dov M.; Matthews, Sean (Logica GmbH, Franfurt am Main, Germany); Vigano, Luca (Albert-Ludwigs-Universitat, Freiburg, Germany). Series: Applied Logic Series. Num Pages: 267 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 17. Weight in Grams: 576.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Edition
- annotated ed
- Number of pages
- 267
- Condition
- New
- SKU
- V9780792362371
- ISBN
- 9780792362371
Hardback
Condition: New
€ 127.06
€ 127.06
Hardback. Discusses the issues in intellectics and computational logic, ranging across automated deduction, logic programming, the logic-based approach to intellectics, cognitive robotics, knowledge representation and reasoning. This work offers an account of the capabilities and limitations of a computational-logic-based approach to intellectics. Editor(s): Holldobler, Steffen. Series: Applied Logic Series. Num Pages: 388 pages, biography. BIC Classification: HPL; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 23. Weight in Grams: 742.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 388
- Condition
- New
- SKU
- V9780792362616
- ISBN
- 9780792362616
Hardback
Condition: New
€ 194.96
€ 194.96
Hardback. Features a methodology for automated deduction in non-classical logics. In this book, the methodology is applied to a range of non-classical systems, covering intuitionistic, intermediate, modal and substructural logics. It can also be used as an introduction to these logical systems from a procedural perspective. Series: Applied Logic Series. Num Pages: 268 pages, biography. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 576.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 268
- Condition
- New
- SKU
- V9780792364733
- ISBN
- 9780792364733
Hardback
Condition: New
€ 128.59
€ 128.59
Hardback. Offers a theory of the structure of reasoning used in fear and threat appeal argumentation. This book is suitable for professionals and students in law, critical thinking, advertising, speech communication, informal logic, cognitive science, rhetoric, and media studies. Series: Argumentation Library. Num Pages: 233 pages, biography. BIC Classification: HPL. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 236 x 164 x 19. Weight in Grams: 494.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 233
- Condition
- New
- SKU
- V9780792365433
- ISBN
- 9780792365433
Hardback
Condition: New
€ 127.74
€ 127.74
Hardback. Presents for English readers, three of Blondel's most important articles: "Idealist Illusion" (1898), "The Elementary Principle of a Logic of the Moral Life" (1903), and "The Starting Point of Philosophy" (1906). They offer evidence for and explain the nature of the pragmatism in Blondel's thought Series: Studies in Philosophy and Religion. Num Pages: 156 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 11. Weight in Grams: 432.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 156
- Condition
- New
- SKU
- V9780792366546
- ISBN
- 9780792366546
Hardback
Condition: New
€ 126.61
€ 126.61
Hardback. Presents central topics in medieval logic. This book looks at the role of logical consistence in medieval disputation techniques. Editor(s): Yrjonsuuri, Mikko. Series: The New Synthese Historical Library. Num Pages: 242 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 15. Weight in Grams: 1190.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 242
- Condition
- New
- SKU
- V9780792366744
- ISBN
- 9780792366744
Hardback
Condition: New
€ 128.07
€ 128.07
Hardback. Der vorliegende Band enthalt Husserls einzige weitgehend vollstandig erhaltene Vorlesung aus seiner Hallenser Zeit, die er 1896 unter dem Titel "Logik' gehalten und im Hinblick auf eine Veroffentlichung teilweise bearbeitet hat. Series: Husserliana Materialienbande. Num Pages: 356 pages, black & white illustrations. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 20. Weight in Grams: 675.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 356
- Condition
- New
- SKU
- V9780792369110
- ISBN
- 9780792369110
Hardback
Condition: New
€ 332.63
€ 332.63