The following pages link to (Q2707132):
Displaying 7 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)
