Aguarde...

NATURAL DEDUCTION - A PROOF-THEORETICAL STUDY



Produto sob encomenda
Previsão: 6 Semanas + Frete

Calcule prazo de entrega e frete:

 - 
Este produto pode ser retirado em loja

Sinopse

An innovative approach to the semantics of logic, proof-theoretic semantics seeks the meaning of propositions and logical connectives within a system of inference. Gerhard Gentzen invented proof-theoretic semantics, and Dag Prawitz, the author of this study, extended its analytic proofs to systems of natural deduction. Prawitz's theories form the basis of intuitionistic type theory, and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics. The proof-theoretical system represents a simpler and more illuminating method than alternative approaches, and this volume offers a succinct, coherent illustration of its applications to natural deduction.

Detalhes do Produto

    • Ano:  2006
    • País de Produção: United States
    • Código de Barras:  9780486446554
    • ISBN:  0486446557
    • Encadernação:  BROCHURA
    • Complemento:  NENHUM
    • Nº de Páginas:  128

Avaliação dos Consumidores

ROLAR PARA O TOPO