Schematic Refutations of Formula Schemata von Cerna, David M., Leitsch, Alexander, Lolic, Anela

Volltext

Effective Skolemization von Baaz, Matthias, Lolić, Anela

Volltext

Towards a proof theory for quantifier macros von Baaz, Matthias, Lolic, Anela

Volltext

First-order interpolation derived from propositional interpolation von Baaz, Matthias, Lolic, Anela

Volltext

Towards a proof theory for Henkin quantifiers von Baaz, Matthias, Lolic, Anela

Volltext

Extraction of Expansion Trees von Leitsch, Alexander, Lolic, Anela

Volltext

Sequent Calculi for Choice Logics von Bernreiter, Michael, Lolic, Anela, Maly, Jan, Woltran, Stefan

Volltext

An abstract form of the first epsilon theorem von Baaz, Matthias, Leitsch, Alexander, Lolic, Anela

Volltext

Schematic Refutations of Formula Schemata von Cerna, David M., Leitsch, Alexander, Lolic, Anela

Volltext

Andrews Skolemization May Shorten Resolution Proofs Non-elementarily von Baaz, Matthias, Lolic, Anela

Volltext

A Globally Sound Analytic Calculus for Henkin Quantifiers von Baaz, Matthias, Lolic, Anela

Volltext

Note on Globally Sound Analytic Calculi for Quantifier Macros von Baaz, Matthias, Lolic, Anela

Volltext

Herbrand's Theorem in Refutation Schemata von Leitsch, Alexander, Lolic, Anela

Volltext bestellen

Epsilon Calculus Provides Shorter Cut-Free Proofs von Baaz, Matthias, Lolic, Anela

Volltext bestellen

First-Order Interpolation of Non-classical Logics Derived from Propositional Interpolation von Baaz, Matthias, Lolic, Anela

Volltext

A Sequent-Calculus Based Formulation of the Extended First Epsilon Theorem von Baaz, Matthias, Leitsch, Alexander, Lolic, Anela

Volltext

Herbrand's Theorem in Refutation Schemata von Leitsch, Alexander, Lolic, Anela

Volltext

First-Order Interpolation Derived from Propositional Interpolation von Baaz, Matthias, Lolic, Anela

Volltext bestellen

Schematic Refutations of Formula Schemata von Cerna, David, Leitsch, Alexander, Lolic, Anela

Volltext

Proof Schemata for Theories equivalent to $PA$: on the Benefit of Conservative Reflection Principles von Cerna, David M, Lolic, Anela

Volltext bestellen