Natural constructive proofs of A via A → B, proof paradoxes, and impredicativity - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2023

Natural constructive proofs of A via A → B, proof paradoxes, and impredicativity

Fichier sous embargo
Fichier sous embargo
1 4 11
Année Mois Jours
Avant la publication
jeudi 4 décembre 2025
Fichier sous embargo
jeudi 4 décembre 2025
Connectez-vous pour demander l'accès au fichier

Dates et versions

hal-04321651 , version 1 (04-12-2023)

Identifiants

  • HAL Id : hal-04321651 , version 1

Citer

Mark van Atten. Natural constructive proofs of A via A → B, proof paradoxes, and impredicativity. Ansten Klev; Shahid Rahman. The Architecture and Archaeology of Modern Logic. Studies dedicated to Göran Sundholm., , In press. ⟨hal-04321651⟩
13 Consultations
16 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More