Контакт
Как се пазарува?
Доставка
Наръчник за пазаруване
Labelled Non-Classical Logics
Английски език
394 b
30 дни за връщане на стоката
Клиентите са закупили също
The subject of Labelled Non-Classical Logics is the development and investigation of a framework for the modular and uniform presentation and implementation of non-classical logics, in particular modal and relevance logics. Logics are presented as labelled deduction systems, which are proved to be sound and complete with respect to the corresponding Kripke-style semantics. We investigate the proof theory of our systems, and show them to possess structural properties such as normalization and the subformula property, which we exploit not only to establish advantages and limitations of our approach with respect to related ones, but also to give, by means of a substructural analysis, a new proof-theoretic method for investigating decidability and complexity of (some of) the logics we consider. All of our deduction systems have been implemented in the generic theorem prover Isabelle, thus providing a simple and natural environment for interactive proof development. Labelled Non-Classical Logics is essential reading for researchers and practitioners interested in the theory and applications of non-classical logics.
Информация за книгата
Английски език
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателяМоже би ще Ви заинтересува
/
С меки корици
10.35
€
20.25 лв
/
С меки корици
14.81
€
28.96 лв
/
С меки корици
32.67
€
63.90 лв
/
С твърди корици
48.16
€
94.18 лв
/
С меки корици
20.40
€
39.90 лв
Здравейте! Аз съм Libroamiko, вашият книжен съветник.
Как мога да ви помогна?