A Proof Theoretic Approach to Standard Completeness
Author: Paolo Baldi
Paper Information
| Title: | A Proof Theoretic Approach to Standard Completeness |
| Authors: | Paolo Baldi |
| Proceedings: | GSB 2014 Proceedings |
| Editors: | Roman Kuznets and George Metcalfe |
| Keywords: | hypersequents, density elimination, standard completness |
| Abstract: | ABSTRACT. We show extensions of the proof theoretic approach to standard completeness, based on the elimination of the density rule in suitable hypersequent calculi. |
| Pages: | 0 |
| Talk: | Jul 13 16:55 |
| Paper: |  |