Pages that link to "Item:Q2987724"
From MaRDI portal
The following pages link to Pragmatic and dialogic interpretations of bi-intuitionism. Part I (Q2987724):
Displayed 8 items.
- Structuring co-constructive logic for proofs and refutations (Q263109) (← links)
- Is the principle of contradiction a consequence of \(x^2=x\)? (Q1653549) (← links)
- On assertion and denial in the logic for pragmatics (Q1693599) (← links)
- Abductive inference within a pragmatic framework (Q2055913) (← links)
- We don't know we don't know: asserting ignorance (Q2695162) (← links)
- Dualized Simple Type Theory (Q2974773) (← links)
- Errata Corrige to “Pragmatic and dialogic interpretation of bi-intuitionism. Part I” (Q2987767) (← links)
- The Logical Burdens of Proof. Assertion and Hypothesis (Q4565828) (← links)