Pages that link to "Item:Q2186692"
From MaRDI portal
The following pages link to A refined interpretation of intuitionistic logic by means of atomic polymorphism (Q2186692):
Displaying 5 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)
- η-conversions of IPC implemented in atomic F (Q4644473) (← links)
- (Q5101355) (← links)