The following pages link to Sequent calculi for choice logics (Q2104520):
Displaying 10 items.
- A Focused Sequent Calculus for Higher-Order Logic (Q3192181) (← links)
- Extended semantics and inference for the Independent Choice Logic (Q3653144) (← links)
- (Q4453706) (← links)
- Finite sequent calculi for PLTL (Q5040746) (← links)
- Consistent disjunctive sequent calculi and Scott domains (Q5048008) (← links)
- A representation of proper BC domains based on conjunctive sequent calculi (Q5220179) (← links)
- Sequent and hypersequent calculi for abelian and łukasiewicz logics (Q5277732) (← links)
- (Q5579477) (← links)
- (Q5869526) (← links)
- Sequent calculi for choice logics (Q6552502) (← links)