Pages that link to "Item:Q4829857"
From MaRDI portal
The following pages link to Kolmogorov and Gödel's approach to intuitionistic logic: current developments (Q4829857):
Displaying 16 items.
- Intuitionism and the liar paradox (Q448337) (← links)
- The intended interpretation of intuitionistic logic (Q793720) (← links)
- Derivability in certain subsystems of the logic of proofs is \(\Pi_2^p\)-complete (Q866565) (← links)
- Variations on a thesis: intuitionism and computability (Q1102263) (← links)
- An intuitionist reasoning upon formal intuitionist logic: logical analysis of Kolmogorov's 1932 paper (Q2070432) (← links)
- A complexity question in justification logic (Q2453576) (← links)
- Typing in reflective combinatory logic (Q2498910) (← links)
- Making knowledge explicit: how hard it is (Q2500480) (← links)
- On the complexity of the reflected logic of proofs (Q2500485) (← links)
- On the history of discussions about intuitionist logic (Q2713265) (← links)
- Kripke semantics for the logic of problems and propositions (Q3304397) (← links)
- Analytic Methods for the Logic of Proofs (Q3406688) (← links)
- 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05 (Q3430941) (← links)
- Topological Semantics of Justification Logic (Q3503622) (← links)
- The basic intuitionistic logic of proofs (Q5294019) (← links)
- On analogues of Herbrand's and Harrop's theorems for the joint logic of problems and propositions QHC (Q6194446) (← links)
