|
|
libcats.org
Essays on non-classical logicHeinrich WansingThis book covers a broad range of up-to-date issues in non-classical logic that are of interest not only to philosophical and mathematical logicians but also to computer scientists and researchers in artificial intelligence. The problems addressed range from methodological issues in paraconsistent and deontic logic to the revision theory of truth and infinite Turing machines. The book identifies a number of important current trends in contemporary non-classical logic. Among them are dialogical and substructural logic, the classification of concepts of negation, truthmaker theory, and mathematical and foundational aspects of modal and temporal logic.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Introduction to Functional Programming (Prentice Hall International Series in Computing Science)Автор: Richard Bird, Автор: Philip WadlerКатегория: Математика, Прикладная математика
Размер книги: 4.73 Mb
The Clean Coder: A Code of Conduct for Professional Programmers (Robert C. Martin Series)Автор: Robert C. Martin
Размер книги: 6.06 Mb
Только что пользователи скачали эти книги:
Пиранья. Звезда на волнахАвтор: Бушков Александр АлександровичКатегория: Боевик
Размер книги: 1004 Kb
Duden Bd. 2: Das Stilwoerterbuch der deutschen SpracheАвтор: Inc Distribooks
Размер книги: 11.41 Mb
Computational Intelligence for Agent-based SystemsАвтор: Raymond S.T. Lee, Автор: Vincenzo Loia (eds).
Размер книги: 14.45 Mb
From the Baltic to the Black Sea (Medieval Archaeology)Автор: David, Автор: and Alcock, Автор: Leslie (ed) AustinКатегория: Archaeology
Размер книги: 82.02 Mb
Gene Expression Programming: Mathematical Modeling by an Artificial Intelligence (Studies in Computational Intelligence)Автор: Candida Ferreira
Размер книги: 3.18 Mb
Разработка конструктивного решения малоэтажного жилого домаАвтор: В.Ф. Вавилин, Автор: В.В. Вавилин
Размер книги: 129.49 Mb
International Taxation and Multinational Activity (National Bureau of Economic Research Conference Report)Автор: James R. Hines Jr.Категория: Экономика
Размер книги: 902 Kb
|
|
|