Regular entailment relations - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2021

Regular entailment relations

Résumé

Inspired by the work of Lorenzen on the theory of preordered groups in the forties and fifties, we define regular entailment relations and show a crucial theorem for this structure. We also describe equivariant systems of ideals à la Lorenzen and show that the remarkable regularisation process invented by him yields a regular entailment relation. By providing constructive objects and arguments, we pursue Lorenzen's aim of ``bringing to light the basic, pure concepts in their simple and transparent clarity''
Fichier principal
Vignette du fichier
reg1.pdf (183.47 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02418320 , version 1 (18-12-2019)
hal-02418320 , version 2 (08-07-2020)

Licence

Paternité

Identifiants

Citer

Thierry Coquand, Henri Lombardi, Stefan Neuwirth. Regular entailment relations. Gerhard Heinzmann; Gereon Wolters. Paul Lorenzen -- Mathematician and Logician, 51, Springer, pp.103-114, 2021, Logic, Epistemology, and the Unity of Science, 978-3-030-65823-6. ⟨10.1007/978-3-030-65824-3_7⟩. ⟨hal-02418320v2⟩
199 Consultations
57 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More