Pages that link to "Item:Q1198409"

The following pages link to Modal translations in substructural logics (Q1198409):

Displaying 27 items.

• A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics (Q687153) (← links)
• Modal companions of intermediate propositional logics (Q1194106) (← links)
• The first axiomatization of relevant logic (Q1206805) (← links)
• A translation of intuitionistic predicate logic into basic predicate logic (Q1300007) (← links)
• Modal logic as metalogic (Q1314285) (← links)
• Reflections on ``difficult'' embeddings (Q1344853) (← links)
• Meeting strength in substructural logics (Q1344870) (← links)
• Algebraic study of two deductive systems of relevance logic (Q1893139) (← links)
• The concept of relevance and the logic diagram tradition (Q1931345) (← links)
• Duality results for (co)residuated lattices (Q2418015) (← links)
• Editorial introduction: substructural logics and metainferences (Q2679572) (← links)
• Nominal substitution at work with the global and converse modalities (Q2904047) (← links)
• A polynomial translation of <i>S</i>4 into intuitionistic logic (Q3410685) (← links)
• (Q3509058) (← links)
• (Q3745828) (← links)
• Microcomputer translator for medical text: Theorem verification for chapter two of Zeman's modal logic (Q3771659) (← links)
• Cartesian isomorphisms are symmetric monoidal: A justification of linear logic (Q4254631) (← links)
• (Q4282526) (← links)
• A modal view of linear logic (Q4314678) (← links)
• A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic (Q4487246) (← links)
• A uniform framework for substructural logics with modalities (Q4645752) (← links)
• On the multi-dimensional modal logic of substitutions (Q5211025) (← links)
• Modal translation of substructural logics (Q5217248) (← links)
• A CORRECT POLYNOMIAL TRANSLATION OF S4 INTO INTUITIONISTIC LOGIC (Q5222518) (← links)
• TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS (Q5880425) (← links)
• Linear Logic Properly Displayed (Q5886520) (← links)
• Universal proof theory: semi-analytic rules and Craig interpolation (Q6614044) (← links)