Edited under the auspices of the Association of Logic, Language and
Information (FoLLI), this book constitutes the refereed proceedings of
the 20th anniversary of the International Conference on Logical
Aspects of Computational Linguistics, LACL 2016, held in LORIA Nancy,
France, in December 2016. The 19 contributed papers, presented
together with 4 invited papers and 6 abstracts, were carefully
reviewed and selected from 38 submissions. The focus of the conference
is the use of type theoretic, proof theoretic, and model theoretic
methods for describing and formalising natural language syntax,
semantics, and pragmatics as well as the implementation of the
corresponding tools.
Автор: Huet Название: Logical Frameworks ISBN: 0521413001 ISBN-13(EAN): 9780521413008 Издательство: Cambridge Academ Рейтинг: Цена: 14254.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks.
Автор: Plato Название: Elements of Logical Reasoning ISBN: 110761077X ISBN-13(EAN): 9781107610774 Издательство: Cambridge Academ Рейтинг: Цена: 3802.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is an accessible and scientifically rigorous introduction to the principles of logical reasoning, covering many topics including the deductive machinery of metalogic, otherwise known as the nature and function of proofs. It will be valuable to students of logic, mathematics and computer science.
Автор: Plato Название: Elements of Logical Reasoning ISBN: 1107036593 ISBN-13(EAN): 9781107036598 Издательство: Cambridge Academ Рейтинг: Цена: 12355.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is an accessible and scientifically rigorous introduction to the principles of logical reasoning, covering many topics including the deductive machinery of metalogic, otherwise known as the nature and function of proofs. It will be valuable to students of logic, mathematics and computer science.
Автор: Dov M. Gabbay; Karl Schlechta Название: Logical Tools for Handling Change in Agent-Based Systems ISBN: 3642261876 ISBN-13(EAN): 9783642261879 Издательство: Springer Рейтинг: Цена: 23058.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book covers general logical tools for handling change. The tools are preferential reasoning, theory revision and reasoning in inheritance systems. Logics examined are nonmonotonic, deontic, modal, intuitionistic and temporal as well as counterfactuals.
Автор: Galaugher Jolen Название: Russell`s Philosophy of Logical Analysis, 1897-1905 ISBN: 1137302062 ISBN-13(EAN): 9781137302069 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This systematic and historical treatment of Russell`s contributions to analytic philosophy, from his embrace of analysis in 1898 to his landmark theory of descriptions in 1905, draws important connections between his philosophically motivated conception of analysis and the technical apparatus he devised to facilitate analyses in mathematics
Описание: This book covers work written by leading scholars from different schools within the research area of paraconsistency. The authors critically investigate how contemporary paraconsistent logics can be used to better understand human reasoning in science and mathematics. Offering a variety of perspectives, they shed a new light on the question of whether paraconsistent logics can function as the underlying logics of inconsistent but useful scientific and mathematical theories. The great variety of paraconsistent logics gives rise to various, interrelated questions, such as what are the desiderata a paraconsistent logic should satisfy, is there prospect of a universal approach to paraconsistent reasoning with axiomatic theories, and to what extent is reasoning about sets structurally analogous to reasoning about truth. Furthermore, the authors consider paraconsistent logic’s status as either a normative or descriptive discipline (or one which falls in between) and which inconsistent but non-trivial axiomatic theories are well understood by which types of paraconsistent approaches. This volume addresses such questions from different perspectives in order to (i) obtain a representative overview of the state of the art in the philosophical debate on paraconsistency, (ii) come up with fresh ideas for the future of paraconsistency, and most importantly (iii) provide paraconsistent logic with a stronger philosophical foundation, taking into account the developments within the different schools of paraconsistency.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
