[Zurück]


Zeitschriftenartikel:

B. Afshari, S. Hetzl, G. Leigh:
"Herbrand´s theorem revisited";
Proceedings in Applied Mathematics and Mechanics, 16 (2016), S. 905 - 906.



Kurzfassung englisch:
Inspired by Stirling's tableau proofs [4] we introduce a finite, cut-free sound and complete sequent calculus for the modal mu-calculus. Proofs in this system are finite trees in which leaves are either axioms or assumptions that are discharged by a specific rule of the calculus. The discharge rules provide a way to unfold assumptions motivating the name circular proofs.


"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.002/pamm.201610435


Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.