Formalizing Informal Logic and Natural Language Deductivism. - Gopal Gupta 001; Sarat Varnasi; Kinjal Basu 002; Zhuo Chen; Elmer Salazar; Farhad Shakerin; Serdar Erbatur; Fang Li 010; Huaduo Wang; Joaquín Arias; Brendan Hall; Kevin Driscoll 001 (ICLP Workshops, 2021)