research
∙
07/24/2023
A system of inference based on proof search: an extended abstract
Gentzen designed his natural deduction proof system to “come as close as...
share
research
∙
09/03/2021
A Survey of the Proof-Theoretic Foundations of Logic Programming
Several formal systems, such as resolution and minimal model semantics, ...
research
∙
10/19/2019
Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
This volume contains a selection of papers presented at LFMTP 2019, the ...
research
∙
08/09/2019