Автор: Barker-Plummer Dave Название: Language, Proof and Logic, (+CD-ROM) 2nd Edition ISBN: 1575866323 ISBN-13(EAN): 9781575866321 Издательство: Wiley Рейтинг: Цена: 16051.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A textbook/software package that covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. It also includes applications for mobile devices, exercises, and a dedicated website.
Описание: Paolo Mancosu presents an innovative set of studies of logic and the foundations of mathematics in the first half of the twentieth century. He sheds new light on important topics such as the relationship between phenomenology and the exact sciences, the nature of truth and logical consequence, and the nature of mathematical intuition.
Автор: Feng Ye Название: Strict Finitism and the Logic of Mathematical Applications ISBN: 9400736312 ISBN-13(EAN): 9789400736313 Издательство: Springer Рейтинг: Цена: 18866.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Exploring the logic behind applied mathematics to the physical world, this volume illustrates how radical naturalism, nominalism and strict finitism can account for the applications of classical mathematics in current theories about natural phenomena.
Автор: Franco Montagna Название: Petr H?jek on Mathematical Fuzzy Logic ISBN: 3319382950 ISBN-13(EAN): 9783319382951 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This volume celebrates the work of Petr H jek on mathematical fuzzy logic and presents how his efforts have influenced prominent logicians who are continuing his work. The book opens with a discussion on H jek's contribution to mathematical fuzzy logic and with a scientific biography of him, progresses to include two articles with a foundation flavour, that demonstrate some important aspects of H jek's production, namely, a paper on the development of fuzzy sets and another paper on some fuzzy versions of set theory and arithmetic.
Articles in the volume also focus on the treatment of vagueness, building connections between H jek's favorite fuzzy logic and linguistic models of vagueness. Other articles introduce alternative notions of consequence relation, namely, the preservation of truth degrees, which is discussed in a general context, and the differential semantics. For the latter, a surprisingly strong standard completeness theorem is proved. Another contribution also looks at two principles valid in classical logic and characterize the three main t-norm logics in terms of these principles.
Other articles, with an algebraic flavour, offer a summary of the applications of lattice ordered-groups to many-valued logic and to quantum logic, as well as an investigation of prelinearity in varieties of pointed lattice ordered algebras that satisfy a weak form of distributivity and have a very weak implication.
The last part of the volume contains an article on possibilistic modal logics defined over MTL chains, a topic that H jek discussed in his celebrated work, Metamathematics of Fuzzy Logic, and another one where the authors, besides offering unexpected premises such as proposing to call H jek's basic fuzzy logic HL, instead of BL, propose a very weak system, called SL as a candidate for the role of the really basic fuzzy logic. The paper also provides a generalization of the prelinearity axiom, which was investigated by H jek in the context of fuzzy logic.
Описание: This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability.
Автор: Petio P. Petkov Название: Mathematical Logic ISBN: 1461278902 ISBN-13(EAN): 9781461278900 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Dimiter G. Skordev Название: Mathematical Logic and Its Applications ISBN: 1461282349 ISBN-13(EAN): 9781461282341 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. It covers major classical topics in proof theory and the semantics of propositional and predicate logic as well as set theory and computation theory.
Автор: Olgierd Wojtasiewicz; Andrzej Grzegorczyk; Waclaw Название: An Outline of Mathematical Logic ISBN: 9401021147 ISBN-13(EAN): 9789401021142 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Recent years have seen the appearance of many English-language hand- books of logic and numerous monographs on topical discoveries in the foundations of mathematics.
Автор: Otto Bird; J.M. Bochenski Название: A Precis of Mathematical Logic ISBN: 9048183294 ISBN-13(EAN): 9789048183296 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The work of which this is an English translation appeared originally in French as Precis de logique mathematique.
Автор: Jaakko Hintikka; I. Niiniluoto; Esa. Saarinen Название: Essays on Mathematical and Philosophical Logic ISBN: 9400998279 ISBN-13(EAN): 9789400998278 Издательство: Springer Рейтинг: Цена: 35218.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyvaskyla, Finland, June 29-July 6, 1976.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
