A system of inference based on proof search: an extended abstract - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

A system of inference based on proof search: an extended abstract

Résumé

Gentzen designed his natural deduction proof system to ``come as close as possible to actual reasoning.'' Indeed, natural deduction proofs closely resemble the static structure of logical reasoning in mathematical arguments. However, different features of inference are compelling to capture when one wants to support the process of searching for proofs. PSF (Proof Search Framework) attempts to capture these features naturally and directly. The design and metatheory of PSF are presented, and its ability to specify a range of proof systems for classical, intuitionistic, and linear logic is illustrated.
Fichier principal
Vignette du fichier
lics2023.pdf (278.91 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04169014 , version 1 (23-07-2023)
hal-04169014 , version 2 (28-09-2023)

Licence

Paternité

Identifiants

Citer

Dale Miller. A system of inference based on proof search: an extended abstract. LICS 2023 - 38th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2023, Boston, United States. pp.1-11, ⟨10.1109/LICS56636.2023.10175827⟩. ⟨hal-04169014v2⟩
60 Consultations
39 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More