Pages that link to "Item:Q2517231"

The following pages link to The decidability of the intensional fragment of classical linear logic (Q2517231):

Displaying 10 items.

• Current trends in substructural logics (Q266641) (← links)
• The decidability of a fragment of \(\text{BB}'\text{IW}\)-logic (Q596035) (← links)
• A decision procedure revisited: Notes on direct logic, linear logic and its implementation (Q1186430) (← links)
• Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic (Q1193657) (← links)
• On the decision problem for MELL (Q1733062) (← links)
• Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals (Q1740653) (← links)
• Decidability of linear affine logic (Q1854403) (← links)
• (Q4503908) (← links)
• Interpretations of Weak Positive Modal Logics (Q5020162) (← links)
• Constructive decision via redundancy-free proof-search (Q5919012) (← links)