AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS

DOI10.1017/BSL.2022.28MaRDI QIDQ5044310zbMATH OpenOpenAlexFDO

Authors 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

affine logicconstructive mathematicslinear logic

Mathematics Subject Classification ID

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

Recommendations

• The axioms of constructive geometry
• To be or not to be constructive, that is not the question
• Constructive mathematics and quantum physics
• On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions
• scientific article; zbMATH DE number 1795225

Cites work

• *-Autonomous categories and linear logic
• *-autonomous categories. With an appendix by Po-Hsiang Chu
• A course in constructive algebra
• A dialectica-like model of linear logic
• Apartness and uniformity. A constructive development.
• Avoiding the axiom of choice in general category theory
• Categorical logic and type theory
• Categorical semantics of linear logic
• Constructible falsity
• Constructivism in mathematics. An introduction. Volume II
• Dialectica and Chu constructions: cousins?
• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• Generalized real numbers in constructive mathematics
• Geometry of Interaction and linear combinatory algebras
• Homotopy type theory. Univalent foundations of mathematics
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 1024333 (Why is no real title available?)
• scientific article; zbMATH DE number 2079044 (Why is no real title available?)
• scientific article; zbMATH DE number 949397 (Why is no real title available?)
• scientific article; zbMATH DE number 1568491 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• scientific article; zbMATH DE number 3370546 (Why is no real title available?)
• Introduction to extensive and distributive categories
• Intuitionistic sets and ordinals
• Linear realizability and full completeness for typed lambda-calculi
• PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS
• Rings, fields, and spectra
• The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions
• The Dialectica monad and its cousins
• The inconsistency of a Brouwerian continuity principle with the Curry-Howard interpretation
• The local universes model: an overlooked coherence construction for dependent type theories
• The Logic of Bunched Implications
• TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
• Topos Semantics for Higher-Order Modal Logic
• Tripos theory
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES

Cited in

(11)

• Affine systems of equations and counting infinitary logic
• Algebras of complemented subsets
• Categorification of Negative Information using Enrichment
• Affine logic for constructive mathematics
• Sets completely separated by functions in Bishop set theory
• Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory
• Semantics for two-dimensional type theory
• Strong negation in the theory of computable functionals TCF
• On the Weihrauch degree of the additive Ramsey theorem
• Hilbert's tenth problem for term algebras with a substitution operator
• Complemented subsets and Boolean-valued, partial functions

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

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