ON A BOOLEAN-VALUED MODEL OF THE STRICT IMPLICATION SYSTEM

• 关于严格蕴涵系统的布尔值模型