Abar, Celina A. A. P.; Yamashita, Mineko Remarks on variable binding term operators. (English) Zbl 0631.03013 Bull. Sect. Logic, Pol. Acad. Sci. 15, 145-151 (1986). In this paper the paraconsistent logic \(C_ 1\) of da Consta is extended to include the description operator \(\iota\) and (separately) the Hilbert symbol \(\epsilon\). Semantics are provided for both systems. Reviewer: M.W.Bunder MSC: 03B60 Other nonclassical logic 03C65 Models of other mathematical theories Keywords:paraconsistent logic; description operator; Hilbert symbol PDFBibTeX XMLCite \textit{C. A. A. P. Abar} and \textit{M. Yamashita}, Bull. Sect. Logic, Pol. Acad. Sci. 15, 145--151 (1986; Zbl 0631.03013)