Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Cертификаты | Хиты | | |
 

Sheaves, Games, and Model Completions / A Categorical Approach to Nonclassical Propositional Logics, Ghilardi S., Zawadowski M.



Варианты приобретения
Цена: 17324р.
Кол-во:
 о цене
Наличие: Отсутствует. Возможна поставка под заказ.

При оформлении заказа до: 30 авг 2022
Ориентировочная дата поставки: конец Сентября- начало Октября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Ghilardi S., Zawadowski M.
Название:  Sheaves, Games, and Model Completions / A Categorical Approach to Nonclassical Propositional Logics
ISBN: 9781402006609
Издательство: Springer
Классификация:
ISBN-10: 1402006608
Обложка/Формат: Hardback
Страницы: 254
Вес: 0.543 кг.
Дата издания: 01.07.2002
Серия: Trends in Logic
Язык: English
Иллюстрации: References, glossary, index
Размер: 23.39 x 15.60 x 1.60
Читательская аудитория: Postgraduate, research & scholarly
Подзаголовок: A categorical approach to nonclassical propositional logics
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Дополнительное описание: Формат: 240x160
Круг читателей: Frofessional logicians, from different areas as modal logics, categorical and algebraic logic, model theory and universal algebra
Ключевые слова:
Язык: eng





Sheaves, Games, and Model Completions

Автор: Silvio Ghilardi; M. Zawadowski
Название: Sheaves, Games, and Model Completions
ISBN: 9048160367 ISBN-13(EAN): 9789048160365
Издательство: Springer
Рейтинг:
Цена: 17324 р.
Наличие на складе: Поставка под заказ.

Описание: This book is an example of fruitful interaction between (non-classical) propo- sitionallogics and (classical) model theory which was made possible due to categorical logic.

Propositional and Predicate Calculus: A Model of Argument

Автор: Goldrei
Название: Propositional and Predicate Calculus: A Model of Argument
ISBN: 1852339217 ISBN-13(EAN): 9781852339210
Издательство: Springer
Рейтинг:
Цена: 6351 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Covers the representation of mathematical statements by formulas in a formal language; the interpretation of formulas as true or false; logical consequence of one formula from others; the soundness and completeness theorems connecting logical consequence and formal proof; the axiomatization of some theories using a formal language; and more.

Completeness Theory for Propositional Logics

Автор: Witold A. Pogorzelski; Piotr Wojtylak
Название: Completeness Theory for Propositional Logics
ISBN: 3764385170 ISBN-13(EAN): 9783764385170
Издательство: Springer
Рейтинг:
Цена: 9239 р.
Наличие на складе: Поставка под заказ.

Описание: This 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. For these purposes, the theory of logical matrices, and the theory of consequence operations is exploited.

Nonclassical Logics and Information Processing

Автор: David Pearce; Heinrich Wansing
Название: Nonclassical Logics and Information Processing
ISBN: 3540557458 ISBN-13(EAN): 9783540557456
Издательство: Springer
Рейтинг:
Цена: 4041 р.
Наличие на складе: Поставка под заказ.

Описание: 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.

The Semantic Foundations of Logic Volume 1: Propositional Logics

Автор: Walter Carnielli; R.L. Epstein; Itala M. d`Ottavia
Название: The Semantic Foundations of Logic Volume 1: Propositional Logics
ISBN: 9401067228 ISBN-13(EAN): 9789401067225
Издательство: Springer
Рейтинг:
Цена: 10047 р.
Наличие на складе: Поставка под заказ.

Описание: The act of abstracting from our reasoning in our usual language is the stepping stone from reasoned argument to logic. We cannot take this step alone, for we reason together: logic is reasoning which has some objective value.

Goguen Categories / A Categorical Approach to L-fuzzy Relations

Автор: Winter Michael
Название: Goguen Categories / A Categorical Approach to L-fuzzy Relations
ISBN: 1402061633 ISBN-13(EAN): 9781402061639
Издательство: Springer
Рейтинг:
Цена: 17324 р.
Наличие на складе: Поставка под заказ.

Описание: Goguen categories extend the relational calculus and its categorical formalization to the fuzzy world. Starting from the fundamental concepts of sets, binary relations and lattices this book introduces several categorical formulations of an abstract theory of relations such as allegories, Dedekind categories and related structures. It is shown that neither theory is sufficiently rich to describe basic operations on fuzzy relations. The book then introduces Goguen categories and provides a comprehensive study of these structures including their representation theory, and the definability of norm-based operations.The power of the theory is demonstrated by a comprehensive example. A certain Goguen category is used to specify and to develop a fuzzy controller. Based on its abstract description as well as certain desirable properties and their formal proofs, a verified controller is derived without compromising the - sometimes - intuitive choice of norm-based operations by fuzzy engineers.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия