AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS

DOI10.1017/BSL.2022.28OpenAlexW3174027754MaRDI QIDQ5044310

Michael Shulman

Publication date: 25 October 2022

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1805.07518

zbMATH Keywords

constructive mathematicslinear logicaffine logic

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (5)

Categorification of Negative Information using Enrichment ⋮ Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory ⋮ Sets completely separated by functions in Bishop set theory ⋮ Semantics for two-dimensional type theory ⋮ Algebras of complemented subsets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear realizability and full completeness for typed lambda-calculi
• *-autonomous categories. With an appendix by Po-Hsiang Chu
• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• Constructivism in mathematics. An introduction. Volume II
• Introduction to extensive and distributive categories
• A course in constructive algebra
• Rings, fields, and spectra
• Categorical logic and type theory
• Generalized real numbers in constructive mathematics
• Avoiding the axiom of choice in general category theory
• The Local Universes Model
• Topos Semantics for Higher-Order Modal Logic
• Apartness and Uniformity
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
• Tripos theory
• PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS
• *-Autonomous categories and linear logic
• The Logic of Bunched Implications
• Geometry of Interaction and linear combinatory algebras
• A dialectica-like model of linear logic
• The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions
• The inconsistency of a Brouwerian continuity principle with the Curry-Howard interpretation
• Homotopy Type Theory: Univalent Foundations of Mathematics
• Intuitionistic sets and ordinals
• Constructible falsity

This page was built for publication: AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS