Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy

Oxford, England: Oxford University Press (2020)
  Copy   BIBTEX

Abstract

Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy provides a reasonably gentle introduction to this new logic, thoroughly motivated by intuitive explanations of the need for all of its component parts, and illustrated through innovative applications of the calculus.

Categories

Add categories

Keywords

Reprint years

ISBN(s)

9780198853404   0198853408
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,672

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Homotopy theoretic models of identity types.Steve Awodey & Michael A. Warren - unknown
Modal homotopy type theory.David Corfield - unknown
Homotopy limits in type theory.Jeremy Avigad, Krzysztof Kapulkin & Peter Lefanu Lumsdaine - unknown
Identity in Homotopy Type Theory, Part I: The Justification of Path Induction.James Ladyman & Stuart Presnell - 2015 - Philosophia Mathematica 23 (3):386-406.
Natural models of homotopy type theory.Steve Awodey - unknown
Expressing ‘the structure of’ in homotopy type theory.David Corfield - 2017 - Synthese 197 (2):681-700.
What Types Should Not Be.Bruno Bentzen - 2020 - Philosophia Mathematica 28 (1):60-76.
Identity in HoTT, Part I.James Ladyman & Stuart Presnell - 2015 - Philosophia Mathematica 23 (3):386-406.
Voevodsky’s Univalence Axiom in Homotopy Type Theory.Steve Awodey, Alvaro Pelayo & Michael A. Warren - unknown
A modal type theory for formalizing trusted communications.Giuseppe Primiero & Mariarosaria Taddeo - 2012 - Journal of Applied Logic 10 (1):92-114.
Modal Logic As Dialogical Logic.Patrick Blackburn - 2001 - Synthese 127 (1-2):57-93.
Tools and techniques in modal logic.Marcus Kracht - 1999 - New York: Elsevier.
The vertical unity of concepts in mathematics through the lens of homotopy type theory.David Neil Corfield - unknown
Universes and univalence in homotopy type theory.James Ladyman & Stuart Presnell - 2019 - Review of Symbolic Logic 12 (3):426-455.
Does Homotopy Type Theory Provide a Foundation for Mathematics?James Ladyman & Stuart Presnell - 2016 - British Journal for the Philosophy of Science:axw006.

Analytics

Added to PP
2020-02-18

Downloads
13 (#1,031,809)

6 months
3 (#962,988)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

David Corfield
University of Kent at Canterbury

Citations of this work

On Type Distinctions and Expressivity.Salvatore Florio - 2023 - Proceedings of the Aristotelian Society 123 (2):150-172.

Add more citations

References found in this work

No references found.

Add more references