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