Search

Your search keyword '"BAAZ, MATTHIAS"' showing total 12 results

Search Constraints

Start Over You searched for: Author "BAAZ, MATTHIAS" Remove constraint Author: "BAAZ, MATTHIAS" Publication Type Magazines Remove constraint Publication Type: Magazines
12 results on '"BAAZ, MATTHIAS"'

Search Results

1. EPSILON THEOREMS IN INTERMEDIATE LOGICS

2. UNSOUND INFERENCES MAKE PROOFS SHORTER

3. On the complexity of proof deskolemization

4. On the non-confluence of cut-elimination

5. On Skolemization in constructive theories

6. Gentzen Calculi for the Existence Predicate

7. Cut-elimination and Redundancy-elimination by Resolution

8. ON SKOLEMIZATION AND PROOF COMPLEXITY

9. Embedding Logics into Product Logic

10. Labeled Calculi and Finite-Valued Logics

11. Resolution-based Theorem Proving for Many-valued Logics

Catalog

Books, media, physical & digital resources