Pages that link to "Item:Q5111325"
From MaRDI portal
The following pages link to Negative translations and normal modality (Q5111325):
Displaying 14 items.
- Negative translations not intuitionistically equivalent to the usual ones (Q361872) (← links)
- Work order, negation, and negative polarity in Hindi (Q1768813) (← links)
- A proof-theoretic approach to negative translations in intuitionistic tense logics (Q2082257) (← links)
- Dual and axiomatic systems for constructive S4, a formally verified equivalence (Q2219076) (← links)
- A Kuroda-style \(j\)-translation (Q2312092) (← links)
- Negative Translations and Duality: Toward a Unified Approach (Q3080095) (← links)
- (Q4981448) (← links)
- The Jacobson radical for an inconsistency predicate (Q5075520) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence (Q5231279) (← links)
- On intuitionistic diamonds (and lack thereof) (Q6541158) (← links)
- Logics for knowability paradox with a non-normal possibility operator (Q6601764) (← links)
- Lewisian fixed points. I: Two incomparable constructions (Q6612808) (← links)
- A general Glivenko-Gödel theorem for nuclei (Q6653747) (← links)