Truth-value semantics and functional extensions for classical logic of partial terms based on equality

Details Truth-value semantics and functional extensions for classical logic of partial terms based on equality Truth-value semantics and functional extensions for classical logic of partial terms based on equality

2011-12-29

arxiv.org/abs/1112.6331v1

Mathematics

Logic

14 pages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Truth-value semantics and functional extensions for classical logic of partial terms based on equality does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Truth-value semantics and functional extensions for classical logic of partial terms based on equality, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Truth-value semantics and functional extensions for classical logic of partial terms based on equality will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-728604