将陈述文去其内容而抽象其形式以求达到一致性与正确性的抽象标准的一种逻辑系统

将陈述文去其内容而抽象其形式以求达到一致性与正确性的抽象标准的一种逻辑系统的英文翻译

基本释义

• any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity