Pages that link to "Item:Q283115"

The following pages link to Glivenko sequent classes in the light of structural proof theory (Q283115):

Displaying 6 items.

• Geometric Rules in Infinitary Logic (Q5020172) (← links)
• The Jacobson radical for an inconsistency predicate (Q5075520) (← links)
• THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
• Glivenko sequent classes and constructive cut elimination in geometric logics (Q6103506) (← links)
• The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions (Q6156417) (← links)
• A general Glivenko-Gödel theorem for nuclei (Q6653747) (← links)