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

Main
Society, Politics & Philosophy - General & Miscellaneous Philosophy
Modal Homotopy Type Theory: The...

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

David Corfield

5.0 / 0

Bu kitabı ne kadar beğendiniz?

İndirilen dosyanın kalitesi nedir?

Kalitesini değerlendirmek için kitabı indirin

İndirilen dosyaların kalitesi nedir?

Kategoriler:

Society, Politics & Philosophy - General & Miscellaneous Philosophy

Yıl:

2020

Yayımcı:

Oxford University Press, USA

Dil:

english

ISBN 10:

0198853408

ISBN 13:

9780198853404

Dosya:

PDF, 1.17 MB

IPFS:

,

english, 2020

Online Oku

'e dönüştürme devam ediyor

dosyasına dönüştürme başarısız oldu

İlginizi çekebilir

Dale Jacquette — Philosophy of Logic: An Anthology (Blackwell Philosophy Anthologies)

it-ebooks — Homotopy Type Theory Lecture Notes (CMU 15-819)

The Univalent Foundations Program — Homotopy Type Theory: Univalent Foundations of Mathematics

Egbert Rijke — Homotopy type theory

Aczel Peter et al. — Homotopy Type Theory. Univalent Foundations of Mathematics

Emily Riehl — Category theory in context

Nino B. Cocchiarella, Max A. Freund — Modal Logic. An Introduction to Its Syntax and Semantics

Peter T. Johnstone — Sketches of an Elephant: A Topos Theory Compendium

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.) — Handbook of Logic in Computer Science. Volume 1: Background: Mathematical Structures

Dov M. Gabbay — Labelled deductive systems

Zhaohui Luo — Computation and Reasoning: A Type Theory for Computer Science

Olivia Caramello — Theories, Sites, Toposes

Tim Button, Sean Walsh — Philosophy and Model Theory

Graham Ellis — An Invitation to Computational Homotopy

Charles S. Chihara — The Worlds of Possibility: Modal Realism and the Semantics of Modal Logic

Timothy Williamson — Modal Logic as Metaphysics

Bob Hale, Aviv Hoffmann — Modality: Metaphysics, Logic, and Epistemology

Theodore Sider — Logic for Philosophy

Simon Thompson — Type Theory and Functional Programming

Rudolf Carnap — Meaning and Necessity: A Study in Semantics and Modal Logic

Andrea Asperti, Giuseppe Longo — Categories, types, and structures. Introduction to category theory for computer scientists

David Harel, Dexter Kozen, Jerzy Tiuryn — Dynamic logic

Benjamin C. Pierce — Advanced topics in types and programming languages

G.E.Hughes, M.J.Cresswell — A New Introduction to Modal Logic

Bart Jacobs — Categorical Logic and Type Theory

Jiri Adamek, Horst Herrlich, George E. Strecker — Abstract and concrete categories: the joy of cats

Thomas J. Jech — The Axiom of Choice

Robert E. Mosher, Martin C. Tangora — Cohomology operations and applications in homotopy theory

Kurt Gödel — On Formally Undecidable Propositions of Principia Mathematica and Related Systems

Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott — Linear logic in computer science

Sara Negri, Jan von Plato; Aarne Ranta (Appendix) — Structural Proof Theory

Brian F. Chellas — Modal Logic: An Introduction

Steven Vickers — Topology via logic

J. Roger Hindley — Basic Simple Type Theory

Carlos Simpson — Homotopy Theory of Higher Categories

Patrick Blackburn, Maarten de Rijke, Yde Venema — Modal Logic

Henk Barendregt, Wil Dekkers, Richard Statman — Lambda Calculus with Types

David Corfield — Towards a Philosophy of Real Mathematics

Maria Cristina Pedicchio, Walter Tholen — Categorical foundations: Special topics in order, topology, algebra, and sheaf theory

Graham Priest — An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)

J. Roger Hindley, Jonathan P. Seldin — Lambda-calculus and combinators, an introduction

John Harrison — Handbook of Practical Logic and Automated Reasoning

Anahtar ifadeler

İlgili Koleksiyonlar