Adjoint logic with a 2-category of modes

DOI10.1007/978-3-319-27683-0_16zbMATH Open1477.03267OpenAlexW2293895310MaRDI QIDQ5283430FDOQ5283430

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

Recommendations

• scientific article; zbMATH DE number 7204444
• Modal dependent type theory and dependent right adjoints
• Modes of adjointness
• Modalities in homotopy type theory
• Homotopical categories of logics

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)

Cites Work

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

Cited In (8)

• Title not available (Why is that?)
• Title not available (Why is that?)
• UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC
• A message-passing interpretation of adjoint logic
• Brouwer's fixed-point theorem in real-cohesive homotopy type theory
• Title not available (Why is that?)
• Back to futures
• Modal crash types for intermittent computing

This page was built for publication: Adjoint logic with a 2-category of modes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5283430)