scientific article; zbMATH DE number 7204444

DOI10.4230/LIPIcs.FSCD.2017.25zbMath1434.03040MaRDI QIDQ5111322

Mitchell Riley, Michael Shulman, Daniel R. Licata

Publication date: 26 May 2020

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modal logicsubstructural logictype theoryhomotopy type theory

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Type theory (03B38)

Related Items (13)

A linear logic framework for multimodal logics ⋮ Bifibrations of polycategories and classical linear logic ⋮ Back to futures ⋮ LNL polycategories and doctrines of linear logic ⋮ A general framework for the semantics of type theory ⋮ A framework for substructural type systems ⋮ UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC ⋮ A fresh view of linear logic as a logical framework ⋮ A message-passing interpretation of adjoint logic ⋮ Unnamed Item ⋮ Modal dependent type theory and dependent right adjoints ⋮ Unnamed Item ⋮ A type- and scope-safe universe of syntaxes with binding: their semantics and proofs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A linear logical framework
• On an intuitionistic modal logic
• Display logic
• A judgmental reconstruction of modal logic
• Functors are Type Refinement Systems
• Type theory in type theory using quotient inductive types
• Hybridizing a Logical Framework
• I Got Plenty o’ Nuttin’
• The Mathematics of Sentence Structure
• The Logic of Bunched Implications
• A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine
• Brouwer's fixed-point theorem in real-cohesive homotopy type theory
• Quantum Gauge Field Theory in Cohesive Homotopy Type Theory
• Higher-order representation of substructural logics
• Adjoint Logic with a 2-Category of Modes
• Fibered Multiderivators and (co)homological descent
• Homotopy Type Theory: Univalent Foundations of Mathematics
• Automata, Languages and Programming
• Types for Proofs and Programs

This page was built for publication: