scientific article; zbMATH DE number 7204444

DOI10.4230/LIPICS.FSCD.2017.25zbMATH Open1434.03040MaRDI QIDQ5111322FDOQ5111322

Mitchell Riley, Michael Shulman, Daniel R. Licata

Publication date: 26 May 2020

Title of this publication is not available (Why is that?)

zbMATH Keywords

substructural logicmodal logictype theoryhomotopy type theory

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (25)

• A fresh view of linear logic as a logical framework
• An algebraic approach to subframe logics. Modal case
• Title not available (Why is that?)
• A linear logic framework for multimodal logics
• A fibrational tale of operational logical relations: pure, effectful and differential
• LNL polycategories and doctrines of linear logic
• A framework for substructural type systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• A general framework for the semantics of type theory
• A fibrational framework for possible-world semantics of \textsc{Algol}-like languages
• Bifibrations of polycategories and classical linear logic
• UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC
• A message-passing interpretation of adjoint logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Normalization for multimodal type theory
• A linear algebra approach to linear metatheory
• Modal dependent type theory and dependent right adjoints
• Back to futures
• Title not available (Why is that?)
• Modal crash types for intermittent computing
• A uniform framework for substructural logics with modalities
• A type- and scope-safe universe of syntaxes with binding: their semantics and proofs

   Recommendations

• A uniform framework for substructural logics with modalities 👍 👎
• Multiplicative linear logics and fibrations 👍 👎
• Higher-order representation of substructural logics 👍 👎
• Fibring of logics as a categorial construction 👍 👎
• A Categorical Semantics for Linear Logical Frameworks 👍 👎

This page was built for publication:

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