http://dswarmsikhttkg7jgsoyfiqpj3ighupfrvuz5ri3lu5q2dlqyrpgk7ad.onion/notes/lsg.html
This intention we denote by \[\phi_1, \phi_2, \dots, \phi_n \vdash \psi .\] This is called a sequent . (Huth, Michael and Ryan, Mark, 2004) 13.16. modus ponens From Latin, “method of putting by placing”.