Artboard 33Artboard 16Artboard 18Artboard 13Artboard 42Artboard 21Artboard 4Artboard 5Artboard 45Artboard 22Artboard 7Artboard 42Artboard 23Artboard 12Artboard 28Artboard 17?Artboard 28Artboard 43Artboard 49Artboard 47Artboard 15Artboard 32Artboard 6Artboard 22Artboard 5Artboard 25Artboard 1Artboard 42Artboard 11Artboard 41Artboard 11Artboard 23Artboard 10Artboard 4Artboard 9Artboard 6Artboard 8Artboard 7Artboard 3Artboard 12Artboard 25Artboard 34Artboard 43Artboard 44Artboard 16Artboard 24Artboard 13Artboard 5Artboard 24Artboard 31Artboard 1Artboard 12Artboard 27Artboard 30Artboard 36Artboard 44Artboard 9Artboard 17Artboard 6Artboard 27Artboard 30Artboard 29Artboard 26Artboard 2Artboard 20Artboard 35Artboard 15Artboard 14Artboard 50Artboard 26Artboard 14Artboard 40Artboard 21Artboard 10Artboard 37Artboard 46Artboard 33Artboard 8

Quantification in Nonclassical Logic (Cód: 3032668)

Gabbay, Dov M.; Dimitrij Skvortsov; Valentin Shehtman


Ooops! Este produto não está mais a venda.
Mas não se preocupe, temos uma versão atualizada para você.

Ooopss! Este produto está fora de linha, mas temos outras opções para você.
Veja nossas sugestões abaixo!

R$ 684,86

em até 10x de R$ 68,49 sem juros


Em até 1x sem juros de

Cartão Saraiva:


Em até 10x sem juros de

Quantification in Nonclassical Logic



Quantification and modalities have always been topics of great interest for logicians. These two themes emerged from philosophy and
language in ancient times; they were studied by traditional informal
methods until the 20th century. In the last century the tools became
highly mathematical, and both modal logic and quantification found numerous applications in Computer Science. At the same time many other kinds of nonclassical logics were investigated and applied to Computer Science.

Although there exist several good books in propositional modal logics, this book is the first detailed monograph in nonclassical first-order quantification. It includes results obtained during the past thirty years. The field is very large, so we confine ourselves with only two kinds of logics: modal and superintuitionistic. The main emphasis of Volume 1 is model-theoretic, and it concentrates on descriptions of different sound semantics and completeness problem --- even for these seemingly simple questions we have our hands full. The major part of the presented material has never been published before. Some results are very recent, and for other results we either give new proofs or first proofs in full detail.


Peso 0.00 Kg
Produto sob encomenda Sim
Número de Páginas 640 (aproximado)
Idioma 337
Acabamento e-book
Territorialidade Internacional
Formato Livro Digital Epub
Gratuito Não
Proteção Drm Sim
Tamanho do Arquivo 95
Início da Venda 20/06/2009
Código do Formato Epub
Cód. Barras 9780080931128
Ano da edição 72009
Ano da Publicação 2009
AutorGabbay, Dov M.; Dimitrij Skvortsov; Valentin Shehtman