alogicalness alogicality consistence holding logical connective modal logic coherence implication equivalence logical constant
of