Adjoint Logic with a 2-Category of Modes

DOI10.1007/978-3-319-27683-0_16zbMath1477.03267OpenAlexW2293895310MaRDI QIDQ5283430

Michael Shulman, Daniel R. Licata

Publication date: 21 July 2017

Published in: Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-27683-0_16

zbMATH Keywords

proof theorycategory theoryhomotopy type theoryadjoint logic

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Abstract and axiomatic homotopy theory in algebraic topology (55U35) 2-categories, bicategories, double categories (18N10)

Related Items (7)

Back to futures ⋮ UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC ⋮ Unnamed Item ⋮ Brouwer's fixed-point theorem in real-cohesive homotopy type theory ⋮ A message-passing interpretation of adjoint logic ⋮ Unnamed Item ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Notions of computation and monads
• A judgmental reconstruction of modal logic
• π n (S n ) in Homotopy Type Theory
• Logic Programming with Focusing Proofs in Linear Logic
• Eilenberg-MacLane spaces in homotopy type theory
• A Cubical Approach to Synthetic Homotopy Theory
• Brouwer's fixed-point theorem in real-cohesive homotopy type theory
• Calculating the Fundamental Group of the Circle in Homotopy Type Theory
• Univalence for inverse diagrams and homotopy canonicity

This page was built for publication: Adjoint Logic with a 2-Category of Modes