The history of proof-theoretic semantics since then has been devoted to exploring the consequences of these ideas.
З тих пір історія теоретико-семантичної теорії доказів була присвячена вивченню наслідків цих ідей.