The following pages link to Comments on predicative logic (Q2499285):
Displaying 10 items.
- The faithfulness of \(\mathbf{F_{at}}\): a proof-theoretic proof (Q897484) (← links)
- Commuting conversions vs. the standard conversions of the ``good'' connectives (Q1037589) (← 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)
- Elementary Proof of Strong Normalization for Atomic F (Q2957669) (← links)
- Atomic polymorphism (Q4916559) (← links)
- Proof Nets, Coends and the Yoneda Isomorphism (Q5018492) (← links)
- (Q5101355) (← links)
