Author: Weiru Liu
Publisher: Physica-Verlag HD
Keywords: reasoning, evidential, probabilistic, propositional
Number of Pages: 288
Published: 2001-10-16
List price: $109.00
ISBN-10: 3790814148
ISBN-13: 9783790814149

Systematically provides the reader with a broad range of systems/research work to date that addresses the importance of combining numerical and symbolic approaches to reasoning under uncertainty in complex applications.

Author: M. J. Cresswell
Publisher: The MIT Press
Keywords: attitudes, propositional, semantics, meanings, structured
Number of Pages: 216
Published: 1985-03-21
List price: $40.00
ISBN-10: 0262031086
ISBN-13: 9780262031080

M. J. Cresswell is a logician and philosopher of language who has been a major continuing influence on the growth and development of formal semantics over the past 15 years or more. This book is the outgrowth of years of work on propositional attitudes, the hardest problem in semantics. In it, he traces the problem to the foundations of semantics and solves it by distinguishing between the result of the composition of the simple parts of complex expressions and structure consisting of the uncomposed parts. Cresswell explains the basis of the great intuitive appeal of structured meanings, an

Author: Derek Goldrei
Publisher: Springer
Keywords: argument, model, calculus, predicate, propositional
Number of Pages: 315
Published: 2005-08-03
List price: $59.95
ISBN-10: 1852339217
ISBN-13: 9781852339210

Designed specifically for guided independent study. Features a wealth of worked examples and exercises, many with full teaching solutions, that encourage active participation in the development of the material. It focuses on core material and provides a solid foundation for further study.

Author: Jan Krajicek
Publisher: Cambridge University Press
Keywords: encyclopedia, mathematics, applications, theory, complexity, arithmetic, propositional, logic, bounded
Number of Pages: 360
Published: 1995-11-24
List price: $158.00
ISBN-10: 0521452058
ISBN-13: 9780521452052

This book presents an up-to-date, unified treatment of research in bounded arithmetic and complexity of propositional logic with emphasis on independence proofs and lower bound proofs. The author discusses the deep connections between logic and complexity theory and lists a number of intriguing open problems. An introduction to the basics of logic and complexity is followed by discussion of important results in propositional proof systems and systems of bounded arithmetic. Then more advanced topics are treated, including polynomial simulations and conservativity results, various witnessing

Author: Mark Richard
Publisher: Cambridge University Press
Keywords: cambridge, studies, philosophy, ascribe, thoughts, attitudes, essay, propositional
Number of Pages: 288
Published: 1990-02-23
List price: $53.00
ISBN-10: 0521388198
ISBN-13: 9780521388191

This book makes a stimulating contribution to the philosophy of language and philosophy of mind. It begins with a spirited defense of the view that propositions are structured and that propositional structure is "psychologically real." The author then develops a subtle view of propositions and attitude ascription. The view is worked out in detail with attention to such topics as the semantics of conversations, iterated attitude ascriptions, and the role of propositions as bearers of truth. Along the way important issues in the philosophy of mind are addressed.

Authors:Witold A. Pogorzelski, Piotr Wojtylak,
Publisher: Birkhäuser Basel
Keywords: universal, logic, studies, logics, theory, propositional, completeness
Number of Pages: 178
Published: 2008-05-23
List price: $69.95
ISBN-10: 3764385170
ISBN-13: 9783764385170

The book develops the theory of one of the most important notions in the methodology of formal systems. Particularly, completeness plays an important role in propositional logic where many variants of the notion have been defined. Global variants of the notion mean the possibility of getting all correct and reliable schemata of inference. Its local variants refer to the notion of truth given by some semantics. A uniform theory of completeness in its general and local meaning is carried out and it generalizes and systematizes some variety of the notion of completeness such as Post-completeness,

中文参考译名:信仰，个人和命题知识。（罗多彼山哲学研究三）
Authors:Luis Villoro,  E. David Sosa, Douglas McDermid
Publisher: Rodopi B.V.Editio
Keywords: philosophical, studies, rodopi, knowledge, personal, propositional, belief
Number of Pages: 347
Published: 1998-01-01
List price: unknow
ISBN-10: 9042007427
ISBN-13: 9789042007420