General Theory of Unary Intensional Connectives

Abstract

Unary connectives are of special interest as many known intensional operators such as necessity, tense operators, statability operators etc. are unary. We therefore begin with the study of the general properties of one unary connective. Our plan is to study various possible N-logical systems X, with one unary connective and analyse their corresponding interpretations. The idea is to show a correspondence between possible additional conditions on the unary connective L and possible restriction on the relation R(L): (It is a fact that a remarkable correspondence does exist!) We shall acquire skill and experience in handling these logics and will soon be able to apply our knowledge fruitfully.