The following pages link to (Q4412860):
Displaying 8 items.
- A simple sequent calculus for Angell's logic of analytic containment (Q1685482) (← links)
- Density revisited (Q1699744) (← links)
- Gödel logics with monotone operators (Q1759702) (← 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)
- Cut Elimination for Gödel Logic with an Operator Adding a Constant (Q2820683) (← links)
- Sequent and hypersequent calculi for abelian and łukasiewicz logics (Q5277732) (← links)
- Analytic Calculi for Logics of Ordinal Multiples of Standard t-Norms (Q5450567) (← links)