Pages that link to "Item:Q3416116"
From MaRDI portal
The following pages link to Predicate Logics of Constructive Arithmetical Theories (Q3416116):
Displaying 13 items.
- Constructive formalization of the Tennenbaum theorem and its applications (Q803126) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Predicativity and constructive mathematics (Q2080590) (← links)
- The semantics of realizability for the constructive set theory based on hyperarithmetical predicates (Q2403574) (← links)
- Challenges to predicative foundations of arithmetic (Q2755496) (← links)
- (Q3199407) (← links)
- (Q3343960) (← links)
- Positive Arithmetic Without Exchange Is a Subclassical Logic (Q3498443) (← links)
- Closed Fragments of Provability Logics of Constructive Theories (Q3617381) (← links)
- Predicative Fragments of Frege Arithmetic (Q4678937) (← links)
- Comparing Constructive Arithmetical Theories Based on NP-PIND and coNP-PIND (Q4812318) (← links)
- (Q4870286) (← links)
- Predicative logic and formal arithmetic (Q5937804) (← links)