Pages that link to "Item:Q5213615"
From MaRDI portal
The following pages link to On Constructive Fragments of Classical Logic (Q5213615):
Displaying 9 items.
- Merging fragments of classical logic (Q1687564) (← links)
- Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited (Q2631646) (← links)
- FRAGMENTS OF FREGE’S<i>GRUNDGESETZE</i>AND GÖDEL’S CONSTRUCTIBLE UNIVERSE (Q3188332) (← links)
- Closed Fragments of Provability Logics of Constructive Theories (Q3617381) (← links)
- (Q3973194) (← links)
- ON SOME INTERPRETATIONS OF CLASSICAL LOGIC (Q4295220) (← links)
- The Jacobson radical for an inconsistency predicate (Q5075520) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- A general Glivenko-Gödel theorem for nuclei (Q6653747) (← links)