Studia Logica: An International Journal for Symbolic Logic, Vol. 101, No. 5 (October 2013), pp. 1061-1072 (12 pages) Every truth-functional three-valued propositional logic can be conservatively ...

In this note we present a three-valued intensional logic, which is an extension of both Montague's intensional logic and Łukasiewicz three-valued logic. Our system is obtained by adapting Gallin's ...

The IBM 702 was one of the first electronic computers built by IBM for its business customers (the earlier IBM 701 was designed primarily for scientific calculations. The earlier IBM 650 was directed ...