Pages that link to "Item:Q3728881"
From MaRDI portal
The following pages link to Epistemic arithmetic is a conservative extension of intuitionistic arithmetic (Q3728881):
Displaying 15 items.
- Integrating classical and intuitionistic type theory (Q580341) (← links)
- Epistemic and intuitionistic formal systems (Q580343) (← links)
- In defense of epistemic arithmetic (Q1299766) (← links)
- Note on extensions of Heyting's arithmetic by adding the ``creative subject'' (Q1306822) (← links)
- Provability in principle and controversial constructivistic principles (Q1372941) (← links)
- Non-deterministic logic of informal provability has no finite characterization (Q2071578) (← links)
- Oskar Becker and the modal translation of intuitionistic logic (Q2094160) (← links)
- Modal-epistemic arithmetic and the problem of quantifying in (Q2442888) (← links)
- Explicit provability and constructive semantics (Q2732527) (← links)
- (Q3347874) (← links)
- Flagg realizability in arithmetic (Q3764127) (← links)
- Two Proof-Theoretic Remarks on EA + ECT (Q4521121) (← links)
- A new “feasible” arithmetic (Q4532603) (← links)
- A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES (Q6072337) (← links)
- DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC (Q6131230) (← links)
