Construction of a canonical model for a first-order non-Fregean logic with a connective for reference and a total truth predicate