Matthias Baaz

Best Publications

• On Skolemization And Proof Complexity

  Unknown

  127
  Citations

• Infinite-valued G?del Logics with 0-1-Projections and Relativizations

  Unknown

  114
  Citations

• Cut-elimination and Redundancy-elimination by Resolution

  Unknown

  111
  Citations

• Hypersequent Calculi for Gödel Logics — a Survey

  Unknown

  106
  Citations

• Complexity of t-tautologies

  Matthias Baaz;Petr Hájek;Franco Montagna;Helmut Veith

  82
  Citations

• Elimination of cuts in first-order finite-valued logics

  Unknown

  80
  Citations

• Hypersequent and the Proof Theory of Intuitionistic Fuzzy Logic

  Unknown

  79
  Citations

• Interpolation in Fuzzy Logic

  Matthias Baaz;Helmut Veith

  78
  Citations

• Resolution-based Theorem Proving for Many-valued Logics

  Unknown

  77
  Citations

• Automated deduction for many-valued logics

  Unknown

  75
  Citations

• Systematic construction of natural deduction systems for many-valued logics

  Unknown

  75
  Citations

• Labeled calculi and finite-valued logics

  Unknown

  75
  Citations

• Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic

  Unknown

  72
  Citations

• Infinite-valued Gödel Logics with 0-1-Projections and Relativizations

  Unknown

  71
  Citations

• Analytic Calculi for Projective Logics

  Unknown

  68
  Citations

• CERES: An analysis of Fürstenberg's proof of the infinity of primes

  Unknown

  65
  Citations

• First-order Gödel logics

  Unknown

  64
  Citations

• Normal Form Transformations

  Unknown

  62
  Citations

• Cut normal forms and proof complexity

  Unknown

  62
  Citations

• Non-elementary Speedups between Different Versions of Tableaux

  Unknown

  54
  Citations