The following pages link to (Q2721191):
Displaying 7 items.
- An analysis of Ruspini partitions in Gödel logic (Q962901) (← links)
- A cut-free calculus for second-order Gödel logic (Q1677040) (← links)
- From truth degree comparison games to sequents-of-relations calculi for Gödel logic (Q2169133) (← links)
- A globally sound analytic calculus for Henkin quantifiers (Q2177584) (← links)
- Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic (Q2212726) (← links)
- Proof theory of witnessed Gödel logic: a negative result (Q2804319) (← links)
- (Q4944902) (← links)