Truth-value semantics and functional extensions for classical logic of partial terms based on equality
| Autor: | Parlamento, Franco |
|---|---|
| Rok vydání: | 2011 |
| Předmět: | |
| Zdroj: | Notre Dame J. Formal Logic 55, no. 3 (2014), 383-395 |
| Druh dokumentu: | Working Paper |
| DOI: | 10.1215/00294527-2688078 |
| Popis: | 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 partial selection functions, independently of any strictness assumption. Comment: 15 pages, to appear in the Notre Dame Journal of Formal Logic |
| Databáze: | arXiv |
| Externí odkaz: |
|