[Zurück]


Zeitschriftenartikel:

M. Baaz, A. Ciabattoni:
"Proof theory of witnesses Gödel logic: A negative result";
Journal of Logic and Computation, 26 (2016), 1; S. 51 - 64.



Kurzfassung englisch:
We introduce a first sequent-style calculus for witnessed Gödel logic. Our calculus makes use of the cut rule. We show that this is inescapable by establishing a general result on the non-existence of suitable analytic calculi for a large class of first-order logics. These include witnessed Gödel logic, (fragments of) Łukasiewicz logic and intuitionistic logic extended with the quantifiers of classical logic.


"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1093/logcom/ext018


Erstellt aus der Publikationsdatenbank der Technischen Universitšt Wien.