The following pages link to Göran Sundholm (Q4817166):
Displaying 3 items.
- (Q383071) (redirect page) (← links)
- ``Inference versus consequence'' revisited: inference, consequence, conditional, implication (Q383072) (← links)
- Constructions, proofs and the meaning of logical constants (Q793721) (← links)
- Implicit epistemic aspects of constructive logic (Q1357674) (← links)
- The neglect of epistemic considerations in logic: the case of epistemic assumptions (Q2288276) (← links)
- Semantic values for natural deduction derivations (Q2500822) (← links)
- (Q2702734) (← links)
- (Q2878198) (← links)
- A Double Diamond of Judgement (Q2908770) (← links)
- (Q3003842) (← links)
- (Q3016123) (← links)
- A completeness proof for an infinitary tense-logic (Q4138711) (← links)
- (Q4187791) (← links)
- Inference, Consequence, Implication: A Constructivist's Perspective (Q4224766) (← links)
- (Q4342086) (← links)
- (Q4342088) (← links)
- (Q4661903) (← links)
- Frege, August Bebel and the Return of Alsace-Lorraine: The dating of the distinction between Sinn and Bedeutung (Q4707460) (← links)
- (Q4789453) (← links)
- (Q4835587) (← links)
- (Q4942691) (← links)
- « Que les principes de la logique ne sont pas fiables » : Nouvelle traduction française annotée et commentée de l'article de 1908 de L. E. J. Brouwer (Q4982530) (← links)
- (Q5104551) (← links)
- Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session (Q5250212) (← links)
- (Q5253919) (← links)
- (Q5702370) (← links)
- (Q4817167) (← links)
- (Q4817180) (← links)
