github.com/jreisinger/syllogism (go): Package syllogism implements the basic form of deductive argument, a syllogism. Syllogism is part of Aristotelian (or common sense) logic.  Classical syllogism example.
Keywords: go|logic|philosophy