Pages that link to "Item:Q2900543"
From MaRDI portal
The following pages link to The Gödel-Tarski Translations of Intuitionistic Propositional Formulas (Q2900543):
Displaying 5 items.
- A modal view of linear logic (Q4314678) (← links)
- Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics (Q5213676) (← links)
- Modal translation of substructural logics (Q5217248) (← links)
- Lattice logic as a fragment of (2-sorted) residuated modal logic (Q5379322) (← links)
- Conservative translations revisited (Q6156208) (← links)