Pages that link to "Item:Q1037589"

The following pages link to Commuting conversions vs. the standard conversions of the ``good'' connectives (Q1037589):

Displayed 9 items.

• The faithfulness of \(\mathbf{F_{at}}\): a proof-theoretic proof (Q897484) ‎ (← links)
• Atomic polymorphism and the existence property (Q1799037) ‎ (← links)
• The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives (Q2118979) ‎ (← links)
• A refined interpretation of intuitionistic logic by means of atomic polymorphism (Q2186692) ‎ (← links)
• Rasiowa-Harrop disjunction property (Q2363508) ‎ (← links)
• The naturality of natural deduction (Q2631649) ‎ (← links)
• HARMONISING HARMONY (Q3195584) ‎ (← links)
• Atomic polymorphism (Q4916559) ‎ (← links)
• Proof Nets, Coends and the Yoneda Isomorphism (Q5018492) ‎ (← links)