Pages that link to "Item:Q580343"
From MaRDI portal
The following pages link to Epistemic and intuitionistic formal systems (Q580343):
Displaying 8 items.
- Negative translations not intuitionistically equivalent to the usual ones (Q361872) (← links)
- Modal translations in substructural logics (Q1198409) (← links)
- Provability in principle and controversial constructivistic principles (Q1372941) (← links)
- Modal-epistemic arithmetic and the problem of quantifying in (Q2442888) (← links)
- Explicit Provability and Constructive Semantics (Q2732527) (← links)
- A polynomial translation of <i>S</i>4 into intuitionistic logic (Q3410685) (← links)
- 1998–99 Annual Meeting of the Association for Symbolic Logic (Q4940738) (← links)
- DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC (Q6131230) (← links)
