Studia Logica: An International Journal for Symbolic Logic, Vol. 49, No. 2 (1990), pp. 197-214 (18 pages) We illustrate, with three examples, the interaction between boolean and modal connectives by ...
It is shown that axiomatic extensions of intuitionistic propositional calculus defining univocally new connectives, including those proposed by Gabbay, are strongly complete with respect to valuations ...
Language has various mechanisms to show relationships among and between ideas. At the level of discourse, for example, a writer communicates the relative importance of individual ideas by expressing ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback