Open Access
Translator Disclaimer
2014 Truth-Value Semantics and Functional Extensions for Classical Logic of Partial Terms Based on Equality
F. Parlamento
Notre Dame J. Formal Logic 55(3): 383-395 (2014). DOI: 10.1215/00294527-2688078

Abstract

We develop a bottom-up approach to truth-value semantics for classical logic of partial terms based on equality and apply it to prove the conservativity of the addition of partial description and selection functions, independently of any strictness assumption.

Citation

Download Citation

F. Parlamento. "Truth-Value Semantics and Functional Extensions for Classical Logic of Partial Terms Based on Equality." Notre Dame J. Formal Logic 55 (3) 383 - 395, 2014. https://doi.org/10.1215/00294527-2688078

Information

Published: 2014
First available in Project Euclid: 22 July 2014

zbMATH: 1337.03018
MathSciNet: MR3263534
Digital Object Identifier: 10.1215/00294527-2688078

Subjects:
Primary: 03B20

Keywords: description and selection functions , equality , partial logic , truth-value semantics

Rights: Copyright © 2014 University of Notre Dame

JOURNAL ARTICLE
13 PAGES


SHARE
Vol.55 • No. 3 • 2014
Back to Top