Titre
Coming To Terms With Modal Logic: On the interpretation of modalities in Typed Lambda-Calculus (Proefschrift)
Auteur
BORGHUIS, VALENTIJN ANTON JOHAN (Geboren te Oldenzaal)
Langue
Anglais
Éditeur
Eindhoven: Technische Universiteit Eindhoven, 1994, 1e dr.
Prix
€ 24,00(Excl. toute livraison)
Détails
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.
Plus d'informations
"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."
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."
Het Oosten
Almelo 
Welkom bij Boekhandel Het Oosten.
.
Kijk gerust rond, vragen zijn altijd welkom.
- Tous les livres sont en état complet et normal, sauf indication contraire. De petites imperfections comme une page collée ou un nom sur la feuille ne sont pas toujours mentionnés
- Vous gérez directement cette commande avec Het Oosten
- Après votre commande vous et Het Oosten recevrez une confirmation par e-mail. Dans l'e-mail que vous pouvez trouver, vous pouvez trouver le nom et l'adresse de Het Oosten
- L'acheteur paie les frais de livraison, sauf accord contraire
- Het Oosten peut demander un prépaiement
- Boekwinkeltjes.nl essaie de rapprocher les acheteurs et les vendeurs. Boekwinkeltjes.nl n'est jamais impliqué dans un accord entre l'acheteur et le vendeur. Si vous avez un différend avec un ou plusieurs utilisateurs, vous devez le réparer vous-même. Vous indemnisez Boekwinkeltjes.nl de toute réclamation.