To be or to ben't.
Top network posts
- 31 Why should we care about syntactic proofs if we can show semantically that statements are true?
- 5 What references should I follow if I want to learn more about semantic entailment in multi-valued logics?
- 5 In Java, can one get away with using "raw unparameterised class"-es instead of using dummy interfaces?
- View more network posts →
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
Keeping a low profile.
This user hasn't posted yet.