The following pages link to Christian G. Fermüller (Q685345):
Displaying 50 items.
- Removing redundancy from a clause (Q685346) (← links)
- (Q1005946) (redirect page) (← links)
- Dialogue games for many-valued logics -- an overview (Q1005947) (← links)
- Giles's game and the proof theory of Łukasiewicz logic (Q1037588) (← links)
- Labeled calculi and finite-valued logics (Q1580658) (← links)
- Logical argumentation principles, sequents, and nondeterministic matrices (Q1679781) (← links)
- Interpreting sequent calculi as client-server games (Q1694453) (← links)
- Resolution-based theorem proving for many-valued logics (Q1897558) (← links)
- From games to truth functions: a generalization of Giles's game (Q2016084) (← links)
- From truth degree comparison games to sequents-of-relations calculi for Gödel logic (Q2169133) (← links)
- A game model for proofs with costs (Q2180520) (← links)
- Equilibrium semantics for IF logic and many-valued connectives (Q2284500) (← links)
- Connecting fuzzy logic and argumentation frames via logical attack principles (Q2317516) (← links)
- (Q2721191) (← links)
- (Q2751372) (← links)
- (Q2751377) (← links)
- (Q2767012) (← links)
- (Q2784584) (← links)
- On matrices, Nmatrices and games (Q2804326) (← links)
- Theorem proving for prenex G\"odel logic with Delta: checking validity and unsatisfiability (Q2881087) (← links)
- Bridges Between Contextual Linguistic Models of Vagueness and T-Norm Based Fuzzy Logic (Q2948585) (← links)
- Herbrand’s Theorem for Prenex Gödel Logic and Its Consequences for Theorem Proving (Q2996163) (← links)
- Tableaux for Reasoning about Atomic Updates (Q2996198) (← links)
- (Q3142560) (← links)
- Randomized Game Semantics for Semi-fuzzy Quantifiers (Q3143679) (← links)
- On Semantic Games for Łukasiewicz Logic (Q3299579) (← links)
- (Q3408133) (← links)
- Monadic Fragments of Gödel Logics: Decidability and Undecidability Results (Q3498458) (← links)
- Model Representation over Finite and Infinite Signatures (Q3533129) (← links)
- (Q3584007) (← links)
- A Resolution Mechanism for Prenex Gödel Logic (Q3586034) (← links)
- (Q3620029) (← links)
- (Q3838811) (← links)
- (Q3976574) (← links)
- (Q4218100) (← links)
- (Q4255505) (← links)
- (Q4263005) (← links)
- (Q4281685) (← links)
- (Q4282510) (← links)
- (Q4282535) (← links)
- (Q4283235) (← links)
- Decision procedures and model building in equational clause logic (Q4380444) (← links)
- (Q4436025) (← links)
- (Q4450443) (← links)
- (Q4501677) (← links)
- (Q4503909) (← links)
- (Q4583850) (← links)
- Lean induction principles for tableaux (Q4610315) (← links)
- (Q4627750) (← links)
- Combining many-valued and intuitionistic tableaux (Q4645226) (← links)
