Switch to: References

Add citations

You must login to add citations.
  1. Truth-Value Semantics and Functional Extensions for Classical Logic of Partial Terms Based on Equality.F. Parlamento - 2014 - Notre Dame Journal of Formal Logic 55 (3):383-395.
    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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation