×

Remarks on variable binding term operators. (English) Zbl 0631.03013

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
PDFBibTeX XMLCite