The following pages link to (Q3803087):
Displaying 9 items.
- On logics with coimplication (Q1272827) (← links)
- The greatest extension of S4 into which intuitionistic logic is embeddable (Q1378428) (← links)
- Cluster expansion and the boxdot conjecture (Q2958221) (← links)
- The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★ (Q3647244) (← links)
- (Q3726082) (← links)
- Basic Propositional Calculus I (Q4210835) (← links)
- Embeddings of propositional monomodal logics (Q4521289) (← links)
- Modal translations of Heyting and Peano arithmetic (Q5202987) (← links)
- (Q5695183) (← links)