0

Meu carrinho

    Favoritar

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

    Ref:
    628942

    Por: R$ 2.098,15ou X de

    Comprar

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

    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.
    Mostrar mais

    Ficha técnica

    Especificações

    ISBN9781402007453
    Pré vendaNão
    Peso377g
    Autor para link
    Livro disponível - pronta entregaNão
    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

    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