TY - RPRT TI - Truth-value semantics and functional extensions for classical logic of partial terms based on equality AU - Franco Parlamento PY - 2012 DO - 10.1215/00294527-2688078 UR - https://arxiv.org/abs/1112.6331 ID - 1112.6331 ER -