The following pages link to Matthias Baaz (Q167059):
Displaying 50 items.
- (Q3007245) (← links)
- On the non-confluence of cut-elimination (Q3083141) (← links)
- Eskolemization in Intuitionistic Logic (Q3094144) (← links)
- (Q3140630) (← links)
- (Q3140631) (← links)
- (Q3142560) (← links)
- Note on the Benefit of Proof Representations by Name (Q3305625) (← links)
- Herbrand's Theorem, Skolemization and Proof Systems for First-Order Lukasiewicz Logic (Q3406683) (← links)
- (Q3408133) (← links)
- (Q3469102) (← links)
- Monadic Fragments of Gödel Logics: Decidability and Undecidability Results (Q3498458) (← links)
- Herbrand Theorems and Skolemization for Prenex Fuzzy Logics (Q3507415) (← links)
- Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type (Q3520241) (← links)
- (Q3532275) (← links)
- A Resolution Mechanism for Prenex Gödel Logic (Q3586034) (← links)
- On Skolemization in constructive theories (Q3617374) (← links)
- SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability (Q3638278) (← links)
- (Q3727949) (← links)
- (Q3746919) (← links)
- (Q3780486) (← links)
- Automatisches Beweisen für endlichwertige Logiken. (Automatic theorem- proving for finite-valued logics) (Q3976578) (← links)
- (Q4218100) (← links)
- (Q4255505) (← links)
- (Q4263005) (← links)
- (Q4263811) (← links)
- (Q4282535) (← links)
- (Q4283227) (← links)
- (Q4304753) (← links)
- (Q4362908) (← links)
- (Q4380155) (← links)
- (Q4411836) (← links)
- (Q4412847) (← links)
- (Q4412849) (← links)
- (Q4431386) (← links)
- (Q4436025) (← links)
- (Q4436026) (← links)
- (Q4450443) (← links)
- (Q4474833) (← links)
- (Q4501677) (← links)
- (Q4524779) (← links)
- (Q4525273) (← links)
- Lean induction principles for tableaux (Q4610315) (← links)
- UNSOUND INFERENCES MAKE PROOFS SHORTER (Q4628675) (← links)
- A Note on the Complexity of Classical and Intuitionistic Proofs (Q4635844) (← links)
- Skolemization in intermediate logics with the finite model property (Q4644539) (← links)
- Combining many-valued and intuitionistic tableaux (Q4645226) (← links)
- Gödel logics and the fully boxed fragment of LTL (Q4645749) (← links)
- MUltlog 1.0: Towards an expert system for many-valued logics (Q4647516) (← links)
- (Q4681897) (← links)
- (Q4729759) (← links)
