Functional Interpretation Of Logical Deduction, The

Name: Functional Interpretation Of Logical Deduction, The
Brand: World Scientific Publishing Co Pte Ltd
SKU: 9789814360951
Price: 108.52 EUR
Availability: InStock

Автор: Ruy J G B de Queiroz

Език:

Корици: С твърди корици

Издател: World Scientific Publishing Co Pte Ltd

Наличност: Външен склад

Изпращаме след 10-13 дни

108.52 € 212.24 лв

This comprehensive book provides an adequate framework to establish various calculi of logical infer...

Информация за книгата

Автор

Ruy J G B de Queiroz

Език

Английски език

Корици

Книга - С твърди корици

Издадена

2011

страници

300

EAN

9789814360951

ISBN

9814360953

Enbook ID

04430072

Издател

World Scientific Publishing Co Pte Ltd

Теглоt

560

Размери

166 x 237 x 22

Пълно описание

This comprehensive book provides an adequate framework to establish various calculi of logical inference. Being an 'enriched' system of natural deduction, it helps to formulate logical calculi in an operational manner. By uncovering a certain harmony between a functional calculus on the labels and a logical calculus on the formulas, it allows mathematical foundations for systems of logic presentation designed to handle meta-level features at the object-level via a labelling mechanism, such as the D Gabbay's Labelled Deductive Systems. The book truly demonstrates that introducing of 'labels' is useful to understand the proof-calculus itself, and also to clarify its connections with model-theoretic interpretations.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Functional Interpretation Of Logical Deduction, The

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също