The following pages link to (Q3745828):
Displaying 13 items.
- A simple embedding of T into double S5 (Q558415) (← links)
- The first axiomatization of relevant logic (Q1206805) (← links)
- On logics with coimplication (Q1272827) (← links)
- The Russell-Prawitz modality (Q2746758) (← links)
- Paraconsistent double negation as a modal operator (Q2958215) (← links)
- A modal logic amalgam of classical and intuitionistic propositional logic (Q2987047) (← links)
- Negative Translations and Duality: Toward a Unified Approach (Q3080095) (← links)
- Algebraic semantics for the (↔, ¬¬)-fragment of IPC (Q3117777) (← links)
- A simplified embedding of E into monomodal K (Q3391744) (← links)
- The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★ (Q3647244) (← links)
- Negative translations and normal modality (Q5111325) (← links)
- Modal translations of Heyting and Peano arithmetic (Q5202987) (← links)
- A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC (Q5741613) (← links)