Top network posts
- 30 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 →