The following pages link to Finite sum-product logic (Q2707132):
Displaying 8 items.
- The variable hierarchy for the games \(\mu \)-calculus (Q636308) (← links)
- Proof theory of paraconsistent quantum logic (Q1749807) (← links)
- Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi (Q2062192) (← links)
- Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems (Q2236604) (← links)
- From parity games to circular proofs (Q2842563) (← links)
- A local graph-rewriting system for deciding equality in sum-product theories (Q2867904) (← links)
- On the Word Problem for ${\it \Sigma\Pi}$ -Categories, and the Properties of Two-Way Communication (Q3644749) (← links)
- (Q3791154) (← links)
