Stel een vraag
Met het formulier hier onder kunt u contact op nemen met boekwinkel Het Oosten.
BORGHUIS, VALENTIJN ANTON JOHAN (Geboren te Oldenzaal) - Coming To Terms With Modal Logic: On the interpretation of modalities in Typed Lambda-Calculus (Proefschrift)
De vraag gaat over de volgende titel:
| Schrijver: | BORGHUIS, VALENTIJN ANTON JOHAN (Geboren te Oldenzaal) |
|---|---|
| Titel: | Coming To Terms With Modal Logic: On the interpretation of modalities in Typed Lambda-Calculus (Proefschrift) |
| ISBN: | |
| Uitgever: | Eindhoven: Technische Universiteit Eindhoven, 1994, 1e dr. |
| Bijzonderheid: | 218p., soft cover. Met vele zw./w. illustraties - Grafieken, Tabellen en wiskundige formules, uitgebreide bibliografie en samenvatting in het Nederlands. Enkele verwaarloosbare vlekjes omslag, goed exemplaar. |
| Prijs: | € 24,00 |
| Meer info | "In once sentence the aim of this thesis is to incorporate intensional reasoning in type thory by means of a 'propositions-as-types' interpretation of modal logic. To explain this goal properly, we first introduce the reader briefly to the traditional setting of this monograph: the embedding of logics in type theory. These embeddings have been studied extensively, motivated by applications in proof theory, mathematics and computer science. After a brief survey of this research, we focus on the recent use of type theory in 'knowledge representation' which motivated our studie of the propositions-as-types interpretation of modal logic. Then the objectives of this thesis are stated, followed by an explanation of the choice of formal frameworks. We conclude by giving an overview of the contents of the thesis." |
| Boek bekijken | |
.
Kijk gerust rond, vragen zijn altijd welkom.
De verkoper zal binnen 2 werkdagen contact met u opnemen om de koop verder af te handelen.