Tests of characteristics associated with PUIDs are made in a form or mathematical logic known as a Boolean expression (after George Boole who invented it). A Boolean expression combines ...
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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback