libcats.org
Главная

Modal logic

Обложка книги Modal logic

Modal logic

,
Modal logic is a branch of mathematical logic studying mathematical models of correct reasoning which involves various kinds of necessity-like and possibility-like operators. The first modal systems were created in the 1910s and later by Lewis (cf. Lewis and Langford, 1932) who used the operators "it is necessary" and "it is possible" for analyzing other logical connectives, in particular implication. Orlov 1928) and Godel 1933) constructed modal systems with the operator "it is provable" and exploited them to interpret Heyting's intuitionistic logic. More recently numerous modal systems have originated from different sources.
Популярные книги за неделю:

Издание 'Сделай сам'. 1999 № 02 (DjVU)

Автор:
Размер книги: 3.94 Mb

О физической природе шаровой молнии

Автор:
Категория: science, science, exact
Размер книги: 5.03 Mb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Технология солода и пива

Автор:
Категория: Tech
Размер книги: 113.31 Mb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Как обставить квартиру

Автор:
Категория: color, graph, house, home
Размер книги: 4.92 Mb
Только что пользователи скачали эти книги:

Статьи 2

Автор:
Категория: История
Размер книги: 189 Kb

Physiology of Cotton

Автор: , Автор: , Автор: , Автор:
Категория: Biology
Размер книги: 62.55 Mb

Made to Stick: Why Some Ideas Survive and Others Die

Автор: , Автор:
Размер книги: 922 Kb

Switch: How to Change Things When Change Is Hard

Автор: , Автор:
Размер книги: 4.02 Mb

On-The-Job Training

Автор: , Автор: , Автор:
Размер книги: 634 Kb

Trails End

Автор:
Категория: fiction
Размер книги: 289 Kb