AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS

We show that numerous distinctive concepts of constructive mathematics arise automatically from an “antithesis” translation of affine logic into intuitionistic logic via a Chu/Dialectica construction. This includes apartness relations, complemented subsets, anti-subgroups and anti-ideals, strict and...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	The bulletin of symbolic logic 2022-09, Vol.28 (3), p.327-386
1. Verfasser:	SHULMAN, MICHAEL
Format:	Artikel
Sprache:	eng
Schlagworte:	Logic Mathematical analysis Mathematicians Mathematics Subgroups Theorems
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!