|
|
libcats.org
Substructural logicsPeter Schroeder-Heister, Kosta DosenSubstructural logics comprise a family of nonclassical logics that arose in response to problems in theoretical computer science, mathematical linguistics, and category theory. They include intuitionist logic, relevant logic, BCK logic, linear logic, and Lambeck's calculus of synthetic categories. This book brings together new papers by some of the most eminent authorities in these various traditions in order to provide a unified view of the field. This important volume--the first to bring together the disparate strands of work in substructural logics--will be welcomed by student and professional logicians, theoretical computer scientists, theoretical linguists, philosophers, and mathematicians working in category theory and universal algebra.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Genki 1: An Integrated Course in Elementary Japanese 1Автор: Eri Banno, Автор: Yutaka Ohno, Автор: Yoko Sakane, Автор: Chikako Shinagawa, Автор:
Размер книги: 172.22 Mb
Только что пользователи скачали эти книги:
Practical Troubleshooting Of Electrical Equipment And Control CircuitsАвтор: Mark Brown, Автор: Jawahar Rawtani M.Sc(Tech) MBA, Автор: Dinesh Patil B.E (I&C) DipEEКатегория: Медицина
Размер книги: 9.66 Mb
Разработка анимированного учебного интернет-пособия по теме ''Интерференция света''Автор: Иевлева Е.В., Автор: Стафеев С.К.Категория: Физика
Размер книги: 916 Kb
The Peloponnesian War (Greenwood Guides to Historic Events of the Ancient World)Автор: Lawrence TritleКатегория: История
Размер книги: 11.30 Mb
The Cook's Illustrated How-to-Cook Library: An illustrated step-by-step guide to Foolproof CookingАвтор: The Editors of Cooks Illustrated
Размер книги: 9.88 Mb
Bluthochdruck senken ohne Medikamente, 7. AuflageАвтор: Martin Middeke, Автор: Klaus Völker, Автор: Claudia Laupert-Deick
Размер книги: 4.57 Mb
Last chance to seeАвтор: Adams Douglas, Автор: Carwardine MarkКатегория: fiction
Размер книги: 206 Kb
|
|
|