The following pages link to Christian G. Fermüller (Q685345):
Displaying 23 items.
- MUltlog 1.0: Towards an expert system for many-valued logics (Q4647516) (← links)
- Semantic trees revisited: Some new completeness results (Q4647548) (← links)
- (Q4648943) (← links)
- Hypersequent Calculi for Godel Logics -- a Survey (Q4812316) (← links)
- (Q4840168) (← links)
- Hyperresolution and automated model building (Q4880540) (← links)
- (Q4903797) (← links)
- (Q4906763) (← links)
- (Q4906777) (← links)
- (Q4906797) (← links)
- Connecting Sequent Calculi with Lorenzen-Style Dialogue Games (Q5024728) (← links)
- Randomized game semantics for semi-fuzzy quantifiers (Q5172133) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5187859) (← links)
- Dialogue Games as Foundation of Fuzzy Logics (Q5192347) (← links)
- Elementary elimination of prenex cuts in disjunction-free intuitionistic logic (Q5351952) (← links)
- (Q5365512) (← links)
- Combining Supervaluation and Degree Based Reasoning Under Vagueness (Q5387894) (← links)
- Automated Deduction – CADE-20 (Q5394628) (← links)
- Hintikka-Style Semantic Games for Fuzzy Logics (Q5404956) (← links)
- Model Representation over Finite and Infinite Signatures (Q5431608) (← links)
- Cut Elimination for First Order Gödel Logic by Hyperclause Resolution (Q5505574) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705945) (← links)
- From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic (Q6485329) (← links)