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.
Truth-value semantics and functional extensions for classical logic of partial terms based on equality
PARLAMENTO, Franco
2014-01-01
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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
