Samenvatting

By uncovering a certain harmony between a functional calculus on the labels and a logical calculus on the formulas, this book 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.

Specificaties

ISBN13:9789814360951
Taal:EN
Bindwijze:Gebonden
Aantal pagina's:300
Uitgever:World Scientific Publishing Co Pte Ltd

Lezersrecensies

Wees de eerste die een lezersrecensie schrijft!

Managementboek Top 100

Rubrieken

Populaire producten

    Personen

      Trefwoorden

        Functional Interpretation Of Logical Deduction, The