Constructiveness and lattices in Lorenzen's work - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Constructiveness and lattices in Lorenzen's work

Fichier principal
Vignette du fichier
neuwirth-dagstuhl.pdf (40.2 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03525671 , version 1 (14-01-2022)

Identifiants

  • HAL Id : hal-03525671 , version 1

Citer

Stefan Neuwirth. Constructiveness and lattices in Lorenzen's work. Geometric Logic, Constructivisation, and Automated Theorem Proving, Schloss Dagstuhl, Nov 2021, Wadern, Germany. ⟨hal-03525671⟩
5 Consultations
8 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More