ParhamP/Natural_Logic_Interpreter

Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic

53 best points · 18 comments · 1 Hacker News post · 114 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: Automatically interpret and validate nested natural logic arguments (53 points, 18 comments, by parhamp, 2017-04-17)