A Propositional System Induced by Japaridze\'s Approach to If Logic
Hits:
Title of Paper:A Propositional System Induced by Japaridze\'s Approach to If Logic
Journal:Logic Journal of the Igpl
Correspondence Author:许文艳
Volume:22
Issue:6
Page Number:982-991
Translation or Not:No
Date of Publication:2014-12-01
Date:2024-04-08