The following pages link to Constructive belief reports (Q514084):
Displaying 3 items.
- Assertion and grounding: a theory of assertion for constructive type theory (Q408330) (← links)
- Subatomic natural deduction for a naturalistic first-order language with non-primitive identity (Q2011824) (← links)
- Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach (Q4565827) (← links)