Pages that link to "Item:Q6103506"

The following pages link to Glivenko sequent classes and constructive cut elimination in geometric logics (Q6103506):

Displaying 2 items.

• Quantified modal logics: one approach to rule (almost) them all! (Q6606836) (← links)
• The logic ILP for intuitionistic reasoning about probability (Q6636376) (← links)