Nonclassical Logics and Their Applications, Shier Ju; Alessandra Palmigiano; Minghui Ma
Автор: J.K. Feibleman Название: Assumptions of Grand Logics ISBN: 9024721105 ISBN-13(EAN): 9789024721108 Издательство: Springer Рейтинг: Цена: 22354.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A system of philosophy of the sort presented in this and the following volumes begins with logic. The philosophical aspects of logic have lagged behind the mathematical aspects in point of view of interest and develop- ment. But I have not written any logic, I have merely indicated the sort of logic that has to be written.
Автор: David Pearce; Heinrich Wansing Название: Nonclassical Logics and Information Processing ISBN: 3540557458 ISBN-13(EAN): 9783540557456 Издательство: Springer Рейтинг: Цена: 4890.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the proceedings of a workshop held at the Free University of Berlin in November 1990, which discussed various subfields of logic and its applications in artificial intelligence. Papers examine modal systems, logic programming, nonmonotonic logics and proof theory.
Описание: GABBA Y PART 0 AN INTRODUCTION TO GENERAL INTENSIONAL LOGICS CHAPTER 0 CONSEQUENCE RELATIONS Motivation We introduce the notions of a consequence relation (which is a generalization of the notion of a logical system) and of a semantics.
Автор: Fitting, M. Название: Proof methods for modal and intuitionistic logics ISBN: 9048183812 ISBN-13(EAN): 9789048183814 Издательство: Springer Рейтинг: Цена: 41647.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The ones we consider are: 1) tableau systems, 2) Gentzen sequent calculi, 3) natural deduction systems, and 4) axiom systems.
Автор: Luca Vigan? Название: Labelled Non-Classical Logics ISBN: 0792377494 ISBN-13(EAN): 9780792377498 Издательство: Springer Рейтинг: Цена: 27950.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Labelling was used in many different areas such as resource labelling in relevance logics, prefix tableaux in modal logics, annotated logic programs in logic programming, proof tracing in truth maintenance systems, and various side annotations in higher-order proof theory, arithmetic and analysis.
Автор: Didier Dubois; Henri Prade; Erich Peter Klement Название: Fuzzy Sets, Logics and Reasoning about Knowledge ISBN: 0792359771 ISBN-13(EAN): 9780792359777 Издательство: Springer Рейтинг: Цена: 27944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Ulrich H?hle; Erich Peter Klement Название: Non-Classical Logics and their Applications to Fuzzy Subsets ISBN: 9401040966 ISBN-13(EAN): 9789401040969 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Non-Classical Logics and their Applications to Fuzzy Subsets is the first major work devoted to a careful study of various relations between non-classical logics and fuzzy sets. Part B gives a coherent and current account of topos-like categories for fuzzy set theory based on Heyting algebra valued sets, quantal sets of M-valued sets.
The Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are open access, and available via the College Publications website. This Journal is open access, and available in both printed and electronic formats. It is published by College Publications, on behalf of IfCoLog (www.ifcolog.net).
Автор: Didier Dubois; Henri Prade; Erich Peter Klement Название: Fuzzy Sets, Logics and Reasoning about Knowledge ISBN: 9048153247 ISBN-13(EAN): 9789048153244 Издательство: Springer Рейтинг: Цена: 27944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Fuzzy Sets, Logics and Reasoning about Knowledge reports recent results concerning the genuinely logical aspects of fuzzy sets in relation to algebraic considerations, knowledge representation and commonsense reasoning.
Автор: David Pearce; Gerd Wagner Название: Logics in AI ISBN: 354055887X ISBN-13(EAN): 9783540558873 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The volume contains 2 invited addresses and 21 selectedpapers covering such topics as:- Logical foundations of logic programming andknowledge-based systems,- Automated theorem proving,- Partial and dynamic logics,- Systems of nonmonotonic reasoning,- Temporal and epistemic logics,- Belief revision.
Автор: Barwise Название: Model-Theoretic Logics ISBN: 1107168252 ISBN-13(EAN): 9781107168251 Издательство: Cambridge Academ Рейтинг: Цена: 30096.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this volume the authors bring together several directions of work in model theory between the late 1950s and early 1980s. It contains expository papers by pre-eminent researchers on advanced topics in model theory. Many chapters can be read independently.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru