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 ...

Abstract: A sound and complete Gentzen-typed deduction system is given for a Boolean algebra logic, where the logical connective - is missed and an assignment is a function from the propositional ...

Boolean expressions and Boolean logic are widely used in mathematics, computer science, computer programming, and philosophy. These take their name from the 19 th century mathematician and logician ...