Tag: A COMPARATIVE STUDY OF DIFFERENT SYSTEMS OF FORMAL LOGIC.