Minha sacola

    SEMANTICS AND PROOF THEORY OF THE LOGIC OF BUNCHED IMPLICATIONS, THE

    Favoritar
    Ref:
    628942

    De: R$ 3.449,44Por: R$ 2.414,61ou de

    Preço a vista:R$ 2.414,61

    Economia de R$ 1.034,83
    Comprar

    Calcule o frete:

    Para envios internacionais, simule o frete no carrinho de compras.

    Calcule o valor do frete e prazo de entrega para a sua região

    Editora
    ISBN
    Páginas
    Idioma
    Peso
    Acabamento

    Sinopse

    This monograph provides a thorough account of the model theory, proof theory and computational interpretations of BI, the logic of bunched implications, which freely combines intuitionistic logic and multiplicative intuitionistic linear logic. Starting, on the one hand, from elementary observations about modelling resources and, on the other, from a desire to develop a system of logic within which additive (or extensional) and multiplicative (or intensional) implications co-exist with equal logical status, we give natural deduction, l-calculi, sequent calculus, categorical semantics, Kripke models, topological models, logical relations and computational interpretations for both propositional and predicate BI, within which both additive and multiplicative quantifiers also co-exist. This monograph will be of interest to graduate students and researchers in mathematical logic, philosophical logic, computational logic and theoretical computer science.

    Ficha Técnica

    Especificações

    ISBN9781402007453
    Pré vendaNão
    Peso377g
    Autor para link
    Livro disponível - pronta entregaNão
    Dimensões23 x 16 x 1
    Tipo itemLivro Importado
    Número de páginas338
    Número da edição1ª EDIÇÃO - 2002
    Código Interno628942
    Código de barras9781402007453
    AcabamentoHARDCOVER
    AutorPYM, DAVID J.
    EditoraSPRINGER VERLAG *
    Sob encomendaSim

    Conheça outros títulos da coleção

      Este livro é vendido

      SOB ENCOMENDA

      Prazo estimado para disponibilidade em estoque: dias úteis

      (Sujeito aos estoques de nossos fornecedores)

      +

      Prazo do frete selecionado.

      (Veja o prazo total na sacola de compras)

      Comprar